function $(objID){return document.getElementById(objID);}