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