function downLnk(){
  event.srcElement.className='navdownlink';
}

function overLnk(){
  event.srcElement.className='navhilink';
}

function outLnk(){
  event.srcElement.className='navlink';
  window.status="";
}

function navi(cURL){
  top.main.document.location=cURL;
}

function navitop(cURL){
  top.document.location=cURL;
}