  function $(id){
		 return (document.getElementById)?document.getElementById(id):document.all[id];
  }