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