function elem( ID ) {
	return document.getElementById(ID);
}