var imageLoaded = false;

if (document.images) {
	navDot_over = new Image(); navDot_over.src = "../images/nav_over.gif";
	navDot_off = new Image(); navDot_off.src = "../images/spacer.gif";
	imageLoaded = true;
}

function nav_over(imgName) {
	if (imageLoaded) document[imgName].src = navDot_over.src;
}

function nav_off(imgName) {
	if (imageLoaded) document[imgName].src = navDot_off.src;
}