<!--

	function swapGif(image_name) 	{
 
		if (document.images)	{
  
			document.images[image_name].src = 'images/menu/' + image_name + '_on.jpg';
 
 			}
 
		}

	function restoreGif(image_name)	{
 
		if (document.images)	{

			document.images[image_name].src = 'images/menu/' + image_name + '.jpg';
 	
			}
 
		}

//-->