function getElement(aID){ 
	return (document.getElementById) ? document.getElementById(aID)
	                                 : document.all[aID];
}