function naviHighlight(color, mycell) {
     cell = document.getElementById(mycell);
     cell.bgColor = color; 
}

function naviChangeStyle(myStyle, mycell) {
     cell = document.getElementById(mycell);
     cell.className = myStyle; 
}