function over_effect(e,state){
if (document.all)
source=event.srcElement
else if (document.getElementById)
source=e.target
if (source.className=="menu")
source.style.borderStyle=state
else{
while(source.tagName!="table"){
source=document.getElementById? source.parentNode : source.parentElement
if (source.className=="menu")
source.style.borderStyle=state
}
}
}