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