function getID(name){
   //returns the result of "document.getElementById(name)"
   return document.getElementById(name);
}