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