h/misc.js

   1 function $(name) {
   2   var elem = null;
   3   if(document.getElementById) {
   4       elem = document.getElementById(name);
   5   } else if (document.all){
   6       elem = document.all[name];
   7   }
   8   return elem;
   9 }