function WindowOnload(f) {
    var prev=window.onload;
    window.onload=function(){ if(prev)prev(); f("",""); }
  }
  
//  WindowOnload( navigate );