function borderize(what,color,state,thick,bgc){
what.style.borderColor=color;
what.style.borderStyle=state;
what.style.borderWidth=thick;
what.style.backgroundColor=bgc;

}

function borderize_on(e){
if (document.all)
source3=event.srcElement
else if (document.getElementById)
source3=e.target
if (source3.className=="menulines"){
borderize(source3,"#ffffff","solid","1px","#BA3701")
}
else{
while(source3.tagName!="TABLE"){
source3=document.getElementById? source3.parentNode : source3.parentElement
if (source3.className=="menulines")
borderize(source3,"#ffffff","solid","1px","#BA3701")
}
}
}

function borderize_off(e){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menulines")
borderize(source4,"#A60000","dotted","1px","transparent")
else{
while(source4.tagName!="TABLE"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menulines")
borderize(source4,"#a60000","dotted","1px","transparent")
}
}
}