/* Netscape Navigator 4 bug: when user resizes a layered document, page 
layout gets messed up. Workaround is to force NN to reload the page. */


if (document.layers) 
	{
	origWidth = innerWidth;
	origHeight = innerHeight;
	}

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

if (document.layers) 
	onresize = reDo;