function preloadNavigator()
{
	// load navigator images for quick opening
	var navImage = new Image();
	navImage.src = "/images/Navigation-panel.gif";
}

function openNavigator1()
{
	if(!naviWindow || naviWindow.closed)
		naviWindow = window.open("../navigator.html","NaviWindow","height=600,width=160");
	else
		naviWindow.focus();
}

function openNavigator2()
{
	if(!naviWindow || naviWindow.closed)
		naviWindow = window.open("navigator.html","NaviWindow","height=600,width=160");
	else
		naviWindow.focus();
}