function wmLoad()
{
   var page = ""+window.location.pathname;

   var menus = document.getElementsByName("topmenu");
   for (var i=0; i<menus.length; i++)
   {
      var url = ""+menus[i].href;
      if (url.indexOf(page) >= 0)
      {
         //menus[i].style.backgroundImage="url(images/secondmenu.png)";
         menus[i].style.color="#339966";
      }
      else
      {
         menus[i].style.color="#3399CC";
      }
   }
}