<!--

NS4 = (document.layers);

if (NS4) {
origWidth = innerWidth;
origHeight = innerHeight;
}

// This function checks to see if either the width or height of the window has changed. If so, 
// then the page reloads.
function reDo() {
if (innerWidth != origWidth || innerHeight != origHeight) 
location.reload();
}

// This checks to see 
if (NS4) onresize = reDo;


// -->