// JavaScript Document

	$=function(id){return document.getElementById(id)}