var src;
function changeto(highlightcolor){
	src=event.srcElement
	if (src.tagName=="TR" || src.tagName=="TABLE" || src.id == "ignore")
		return
	while(src.tagName!="TD")
		src=src.parentElement
	if (src.style.backgroundColor != lightcolor)
		src.style.backgroundColor=lightcolor
}

function changeback(originalcolor){
	if (event.fromElement.contains(event.toElement) || src.contains(event.toElement) || src.id=="ignore")
		return
	if (event.toElement!=src)
		src.style.backgroundColor=originalcolor
}