function borderize(what,color){
	what.style.borderColor=color
	}
function borderize_on(e){
	if (document.all)
	source3=event.srcElement
	else if (document.getElementById)
	source3=e.target
	if (source3.className=="menulines"){
	borderize(source3,"#ffffff")
	}
	else{
	while(source3.tagName!="TABLE"){
	source3=document.getElementById? source3.parentNode : source3.parentElement
	if (source3.className=="menulines")
	borderize(source3,"#ffffff")
	} } }
function borderize_off(e){
	if (document.all)
	source4=event.srcElement
	else if (document.getElementById)
	source4=e.target
	if (source4.className=="menulines")
	borderize(source4,"#BCC5CD")
	else{
	while(source4.tagName!="TABLE"){
	source4=document.getElementById? source4.parentNode : source4.parentElement
	if (source4.className=="menulines")
	borderize(source4,"#BCC5CD")
	} } }
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
	}