function gE(myElement) {
	return document.getElementById(myElement);
}