var picsmenu = new Array();

picsmenu[1] = new Array(2);
picsmenu[1][0] = new Image();    
picsmenu[1][0].src = '/img/mark.gif';
picsmenu[1][1] = new Image();    
picsmenu[1][1].src = '/img/mark_on.gif';



function menu_on(name)
{
    for (i = 0; i < 6; i++) {
      
      if (document.images[name] != null)        
         if (name != null) { 
            document.images[name].src = picsmenu[1][1].src;        } 
         else {
            document.images[name].src = picsmenu[1][0].src;        
    }    
  }  
}

function menu_off(name)
{ 
   for (i = 0; i < 6; i++) 
     {
       if (document.images[name] != null) 
	document.images[name].src = picsmenu[1][0].src;              
     }
}