// resize af Nav4 vindue!
function reloadPage(init) {  //reloads the window if Nav4 resized
	  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
	    document.pageWidth=innerWidth; document.pageHeight=innerHeight; onresize=reloadPage; }}
	  else if (innerWidth!=document.pageWidth || innerHeight!=document.pageHeight) location.reload();
	}
	reloadPage(true);