<!--
// Initialises the menu item to be selected according to the currently loaded
// page.
function initNavMenu(menuid, selectId){
  var menuitems = document.getElementById(menuid).getElementsByTagName("a")
  for (var x = 0; x < menuitems.length; x++){
    if (parseInt(selectId) == x){
      menuitems[x].className = "current"
    }
  }
}
//-->