function highLight(elemID, newStyle, newProperty) {
	if (document.getElementById) {
		if (document.getElementById(elemID)!=null) {
			var myElem = document.getElementById(elemID);
			myElem.style[newStyle] = newProperty
		}
	}
}