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