var thisfileName = location.pathname.substring(location.pathname.lastIndexOf('/')+1);

function imgRO(imgName,imgSrc) {
document.images[imgName].src = imgSrc;
}

function submitNav() {
if(document.nav.navList.options[document.nav.navList.selectedIndex].value == 0) {
	alert("Please choose a destination before submitting!");
} else {
	location.href = document.nav.navList.options[document.nav.navList.selectedIndex].value;
  	}
}