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