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