// from Peachpit Press chap 13 on visibility
// is this to reload NN4 resized window?
if (document.layers) {
	   origWidth = innerWidth;
	   origHeight = innerHeight;
	}

        function reloadPage() {
	    if (innerWidth != origWidth || innerHeight != origHeight) 
	         location.reload();
	}

        if (document.layers) 
             onresize = reloadPage;