function get(theId) {
	return document.getElementById(theId);
}