// JavaScript Document
function $(obj){return document.getElementById($obj);}