$=function(e){return document.getElementById(e);}