function navlink_div_high(lnkID)
   {
     var lnk = document.getElementById(lnkID)
     lnk.className = "navlink_div navlink_div_hover"
   }

   function navlink_div_unhigh(lnkID) 
   {
     var lnk = document.getElementById(lnkID)
     lnk.className="navlink_div"
   }

   function navlink_div_click(lnkID)
   {window.location=lnkID}