function setLinkColor(){ try{

         var current  = document.location.href;
         var aLinks   = document.links;
         for( var i=0; i<aLinks.length; i++ ){
              var elemAnchor = aLinks[i]; //alert(elemAnchor.className);
              var elemClass  = elemAnchor.className;
              if( elemClass=="menu" ){
                  if( elemAnchor.href==current ){
                      elemAnchor.style.color = "red";
                  }else{
                      elemAnchor.style.color = "ivory";    
                  }//endif
              }//endif
         }//endfor   
         
}catch(e){debug("setLinkColor()\n",e.message)}}//endif