function bgcolorize(what,color){
what.style.background=color
}

function bgcolorize_on(e){
if (document.all)
source3=event.srcElement
else if (document.getElementById)
source3=e.target
if (source3.className=="menu"){
bgcolorize(source3,"#f7f7ef")
}

else{
while(source3.tagName!="TABLE"){
source3=document.getElementById? source3.parentNode : source3.parentElement
if (source3.className=="menu")
bgcolorize(source3,"#f7f7ef")
}
}
}

function bgcolorize_off(e){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menu")
bgcolorize(source4,"#E7E7DE")
else{
while(source4.tagName!="TABLE"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menu")
bgcolorize(source4,"#E7E7DE")
}
}
}