function doA() { return; }

function doB() { return; }

function doC() { return; }

function doD() { return; }

function doE() { return; }

function doF() { return; }

function doG() { return; }

function doH() { return; }

function doNothing() { return; }



var origWidth;

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