function byId(i){if(document.getElementById){return document.getElementById(i)}else if(document.all){return document.all[i]}else{return null}}
function addOnLoad(f){var o=window.onload;if(typeof(f)=='function'){if(typeof(o)=='function')window.onload=function(){o();f()};else window.onload=function(){f()}}}