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