browserName = navigator.appName;
browserVer  = parseInt(navigator.appVersion);

if (document.images)
 {
  menu1on = new Image; menu1on.src="home2.jpg";
  menu1off = new Image(10,10); menu1off.src="home1.jpg";
  menu2on = new Image; menu2on.src="biography2.jpg";
  menu2off = new Image(10,10); menu2off.src="biography1.jpg";
  menu3on = new Image; menu3on.src="research2.jpg";
  menu3off = new Image(10,10); menu3off.src="research1.jpg";
  menu4on = new Image; menu4on.src="icub2.jpg";
  menu4off = new Image(10,10); menu4off.src="icub1.jpg";
  menu5on = new Image; menu5on.src="eucognition2.jpg";
  menu5off = new Image(10,10); menu5off.src="eucognition1.jpg";
  menu6on = new Image; menu6on.src="publications2.jpg";
  menu6off = new Image(10,10); menu6off.src="publications1.jpg";
  menu7on = new Image; menu7on.src="courses2.jpg";
  menu7off = new Image(10,10); menu7off.src="courses1.jpg";
  menu8on = new Image; menu8on.src="cycling2.jpg";
  menu8off = new Image(10,10); menu8off.src="cycling1.jpg";
 }
function img_act(imgName)
 {
  if (document.images)
   {
    imgOn = eval(imgName + "on.src");
    document [imgName].src = imgOn;
   } 
 }
function img_inact(imgName)
{        
 if (document.images) 
  {
   imgOff = eval(imgName + "off.src");
   document [imgName].src = imgOff;  
  } 
}