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