function navOver(navId) {
	if (navId != pageId) document.images['NavId' + navId].src = './images/ship.gif';
}
function navOut(navId) {
	if (navId != pageId) document.images['NavId' + navId].src = './images/globe.gif';
	else document.images['NavId' + navId].src = './images/both.gif';
}
function navDown(navId) {
	if (navId != pageId) document.images['NavId' + navId].src = './images/plane.gif';
}
function Loaded() {
	navOut(pageId);
}