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