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