<!--
function changeto(highlightcolor,txthighlight){
	source=event.srcElement
	if (source.tagName=="TR"||source.tagName=="TABLE"||source.id=="ignore")
	return
	while(source.tagName!="TD")
	source=source.parentElement
	if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
	source.style.backgroundColor=highlightcolor
	source.style.color=txthighlight
}

function changeback(originalcolor,txtoriginal){
	if (event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")
	return
	if (event.toElement!=source)
	source.style.backgroundColor=originalcolor
	source.style.color=txtoriginal
}
//-->