$ = function(){return document.getElementById(arguments[0]);}