function ov(num,over)
{
if (over)
	window.document.images["nav" + num].src = "images/nav" + num + "_on.gif";
else
	window.document.images["nav" + num].src = "images/nav" + num + "_off.gif";
}

var temp = new Image; temp.src = "images/nav1_on.gif";
var temp = new Image; temp.src = "images/nav2_on.gif";
var temp = new Image; temp.src = "images/nav3_on.gif";
var temp = new Image; temp.src = "images/nav4_on.gif";
var temp = new Image; temp.src = "images/nav5_on.gif";
var temp = new Image; temp.src = "images/nav6_on.gif";
var temp = new Image; temp.src = "images/nav7_on.gif";
var temp = new Image; temp.src = "images/nav8_on.gif";
var temp = new Image; temp.src = "images/nav9_on.gif";
var temp = new Image; temp.src = "images/nav10_on.gif";
var temp = new Image; temp.src = "images/nav11_on.gif";
var temp = new Image; temp.src = "images/nav12_on.gif";
var temp = new Image; temp.src = "images/nav13_on.gif";
var temp = new Image; temp.src = "images/nav14_on.gif";
var temp = new Image; temp.src = "images/nav15_on.gif";
var temp = new Image; temp.src = "images/nav16_on.gif";

var last;

function hide(id) {
	document.getElementById(id).style.display = "none";
}

function show(id) {
	if (last)
		hide(last);
	document.getElementById(id).style.display = "block";
		last=id;
}