function outline() {

}

function makevisible() {

}

function borderize(what,color){
    what.style.borderColor= color
}

function borderize_on(e){
    var bc = "red";
    if (document.all)
	source3=event.srcElement
    else if (document.getElementById)
	source3=e.target
    if (source3.className=="menulines"){
	borderize(source3, bc)
    } else {
	while(source3.tagName!="TABLE"){
	    source3=document.getElementById? source3.parentNode : source3.parentElement
	    if (source3.className=="menulines")
		borderize(source3, bc)
	}
    }
}

function borderize_off(e){
    var bc = "transparent";
    if (document.all)
	source4=event.srcElement
    else if (document.getElementById)
	source4=e.target
    if (source4.className=="menulines")
	borderize(source4, bc)
    else {
	while(source4.tagName!="TABLE"){
	    source4=document.getElementById? source4.parentNode : source4.parentElement
	if (source4.className=="menulines")
	    borderize(source4, bc)
	}
    }
}