col1="#001030";
col2="#004060";

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

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