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