function WindowOnload(f) {
  var prev=window.onload;
  window.onload=function(){ if(prev)prev(); f; }
}