function setnav(n) {
	if (n != null)
		setleftnav();
	var names = "img1,img2,img3,img4".split(",");
	for (var i=0;i<names.length;i++)
		document.images[names[i]].src = document.images[names[i]].src.replace("_over", "");
	if (n != null)
		document.images[names[n-1]].src = document.images[names[n-1]].src.replace(".gif", "_over.gif");
	document.selectedImage = n;
}

function mouseover(n) {
	if (document.selectedImage != n)
		document.images["img"+n].src = document.images["img"+n].src.replace(".gif", "_over.gif");
}

function mouseout(n) {
	if (document.selectedImage != n)
		document.images["img"+n].src = document.images["img"+n].src.replace("_over", "");
}

function setnavpic(pic) {
	document.images.navpic.src = pic;
}

document.setnavpic = setnavpic;
document.setnav = setnav;