// JavaScript Document

function $(o) {
	return (document.getElementById(o));
}