function nresize(n) {  //reloads the window if Nav4 resized
if (n==true) with (navigator) {
if((appName=="Netscape")&&(parseInt(appVersion)==4)) {
w=innerWidth; h=innerHeight;
onresize=nresize; }}
else if (innerWidth!=w || innerHeight!=h)
location.reload();
}