function getByID(theID) {
	return document.getElementById(theID);
}