function $(id){
 if (document.getElementById) return document.getElementById(id);
 else if (document.all) return document.all(id);
}