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