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