function SetNav(which)
{
  document.getElementById('nav' + which).className = 'current';
}

function SetSubNav(which)
{
  document.getElementById('nav3' + which).className = 'subcurrent';
}