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