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