var path;


if (path==null) path='';

function hoverNav(n) {
	obj = document.getElementById('nav' + n);
	obj.origsrc=obj.src;
	obj.src=path + 'images/2nd_nav_arrow.gif';
}


function unhoverNav(n) {
	obj = document.getElementById('nav' + n);
	obj.src=obj.origsrc;
}