function reloadNav() {
	if (navigator.appName == "Netscape") {
		window.location.reload();
	}
}