function window_init()
    {   
        //already called? - exit
        if (arguments.callee.done) return;
        
        //set flag for future calls:
        arguments.callee.done = true;
        
        //call main function:
        do_body_onload();
    }

/* for Mozilla */
if (document.addEventListener)  {     document.addEventListener("DOMContentLoaded", window_init, false); }

/* for Internet Explorer */
//<!--<script defer src="javascript:'window_init()'"></script><![endif] -->
   
/* for other browsers */
else
{
	/*@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") {    window_init(); }};
   /*@end @*/

window.onload = window_init;
}