// First we check to see if "document.images" is supported by the browser.
// A better method than checking version numbers and less code too!
if (document.images){
	toc1on = new Image(108, 30);          
	toc1on.src = "images/buttons/faf-on.gif";
	toc2on = new Image(106, 30);          
	toc2on.src = "images/buttons/au-on.gif";
	toc3on = new Image(98, 30);          
	toc3on.src = "images/buttons/h-on.gif";
	toc4on = new Image(106, 30);          
	toc4on.src = "images/buttons/lai-on.gif";
	toc5on = new Image(106, 30);          
	toc5on.src = "images/buttons/raf-on.gif";

	toc1off = new Image(108, 30);       
	toc1off.src = "images/buttons/faf-off.gif"; 
	toc2off = new Image(106, 30);       
	toc2off.src = "images/buttons/au-off.gif";
	toc3off = new Image(98, 30);       
	toc3off.src = "images/buttons/h-off.gif";
	toc4off = new Image(106, 30);       
	toc4off.src = "images/buttons/lai-off.gif";
	toc5off = new Image(106, 30);       
	toc5off.src = "images/buttons/raf-off.gif";
}

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;
        }
}