// JavaScript Document

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