<!--


      function navSwitch(which,what){
        if(what == 'on'){
          document.getElementById('nav'+which).src = '/images/nav'+which+'_on.jpg';
        }
        else{
          document.getElementById('nav'+which).src = '/images/nav'+which+'.jpg';
        }
      }

// -->