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