// Go to the URL specified when a menu item is clicked
function menuClick( url )
{
   window.location.href = url;
}

// Change the menu item colors when the mouse rolls over the item
function menuNavigation( tableCellRef, backgroundColor, fontColor )
{
   // This sets the background color for the table cell
   tableCellRef.style.backgroundColor     = backgroundColor;
   // This sets the font color for the <A href=...> childnode
   tableCellRef.childNodes[0].style.color = fontColor;
}