<!--This script changes the color of the buttons in the header when the mouse is passed over it-->
if (document.images) {
	var nav1i = new Image();
	nav1i.src = "images/nav1_off.jpg";
	var nav1a = new Image();
	nav1a.src = "images/nav1_on.jpg";
	
	var nav2i = new Image();
	nav2i.src = "images/nav2_off.jpg";
	var nav2a = new Image();
	nav2a.src = "images/nav2_on.jpg";
	
	var nav3i = new Image();
	nav3i.src = "images/nav3_off.jpg";
	var nav3a = new Image();
	nav3a.src = "images/nav3_on.jpg";
	
	var nav4i = new Image();
	nav4i.src = "images/nav4_off.jpg";
	var nav4a = new Image();
	nav4a.src = "images/nav4_on.jpg";
	
	var nav5i = new Image();
	nav5i.src = "images/nav5_off.jpg";
	var nav5a = new Image();
	nav5a.src = "images/nav5_on.jpg";
	
	var nav6i = new Image();
	nav6i.src = "images/nav6_off.jpg";
	var nav6a = new Image();
	nav6a.src = "images/nav6_on.jpg";
	
	var nav7i = new Image();
	nav7i.src = "images/nav7_off.jpg";
	var nav7a = new Image();
	nav7a.src = "images/nav7_on.jpg";
	
	var nav8i = new Image();
	nav8i.src = "images/nav8_off.jpg";
	var nav8a = new Image();
	nav8a.src = "images/nav8_on.jpg";
	
	
	}
	
function act(imgName) {
	if (document.images)
	document[imgName].src = eval(imgName + 'a.src');
}

function inact(imgName) {
	if (document.images)
	document[imgName].src = eval(imgName + 'i.src');
}