function init() {
   // quit if this function has already been called
   if (arguments.callee.done) return;
   // flag this function so we don't do the same thing twice
   arguments.callee.done = true;
   // do the onload stuff for this page
   doPageOnLoad()
};

/* for Mozilla */
if (document.addEventListener) {
   document.addEventListener("onload", init, false);
//   document.addEventListener("DOMContentLoaded", init, false);
}
// for Internet Explorer (using conditional comments)
/*@cc_on @*/
/*@if (@_win32)
document.write("<script id=__ie_onload defer src=javascript:void(0)><\/script>");
var script = document.getElementById("__ie_onload");
script.onreadystatechange = function() {
    if (this.readyState == "complete") {
        init(); // call the onload handler    
    }
};
/*@end @*/
/* for other browsers */
window.onload = init;