<!--
             
 browserName = navigator.appName;
 browserVer = parseInt(navigator.appVersion);
condition1 = (browserName.indexOf("Netscape") >=0 ) && browserVer > 2 ;
condition2 = (browserName.indexOf("Explorer") >= 0) && browserVer > 3
if (condition1 == true  || condition2 == true)
                                 CanAnimate = true;
else
    {CanAnimate = false; }
if (CanAnimate) {
              onimage1 = new Image(96,151); 
              onimage1.src = "../gifs/buttons-history-high.gif"; 
              offimage1 = new Image(96,151); 
              offimage1.src = "../gifs/buttons-history.gif";     
              onimage2 = new Image(96,151); 
              onimage2.src = "../gifs/buttons-hotels-high.gif"; 
              offimage2 = new Image(96,151); 
              offimage2.src = "../gifs/buttons-hotels.gif";     
              onimage3 = new Image(96,151); 
              onimage3.src = "../gifs/buttons-tours-high.gif"; 
              offimage3 = new Image(96,151); 
              offimage3.src = "../gifs/buttons-tours.gif";     
              onimage4 = new Image(96,151); 
              onimage4.src = "../gifs/buttons-short-high.gif"; 
              offimage4 = new Image(96,151); 
              offimage4.src = "../gifs/buttons-short.gif";     
              onimage5 = new Image(96,151); 
              onimage5.src = "../gifs/buttons-events-high.gif"; 
              offimage5 = new Image(96,151); 
              offimage5.src = "../gifs/buttons-events.gif";
														onimage6 = new Image(96,151); 
              onimage6.src = "../gifs/buttons-tourist-high.gif"; 
              offimage6 = new Image(96,151); 
              offimage6.src = "../gifs/buttons-tourist.gif";    
   											onimage7 = new Image(96,151); 
              onimage7.src = "../gifs/buttons-info-high.gif"; 
              offimage7 = new Image(96,151); 
              offimage7.src = "../gifs/buttons-info.gif";

onimage8 = new Image(96,151); 
              onimage8.src = "../gifs/buttons-home-high.gif"; 
              offimage8 = new Image(96,151); 
              offimage8.src = "../gifs/buttons-home.gif";    
   
           }
function itson(imgDocID,imgObjName) {
            if (CanAnimate)   
            document.images[imgDocID].src=eval(imgObjName+".src");
                             }
         
//-->

