function onloadjs(func){var oldonload=window.onload;if(typeof window.onload!='function'){window.onload = func;}else{window.onload=function(){oldonload();func();}}}
function $(id){return document.getElementById(id);}
function f(id,name){return id.getElementsByTagName(name);}