function addOnload(f) {
   var old = window.onload;
   window.onload = function() {
   if(old) old();
   f();
   };
}