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

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

if (document.layers) onresize = reDo;

