if (document.images)
{
	navmax = 5;
	navover = new Array(navmax);
	navout = new Array(navmax);
	for (var n = 1; n <= navmax; n++)
	{
		navover[n] = new Image();
		navover[n].src = 'images/navon' + n + '.gif';
		navout[n] = new Image();
		navout[n].src = 'images/navoff' + n + '.gif';
	}
}

function navOn(i) {
	if (document.images) document.images['nav' + i].src = navover[i].src;
}

function navOff(i) {
	if (document.images) document.images['nav' + i].src = navout[i].src;
}