/** * resize.js 0.3 970811 * by gary smith * js component for "reloading page onResize" */if(!window.saveInnerWidth) {  window.onresize = resizeIt;  window.saveInnerWidth = window.innerWidth;  window.saveInnerHeight = window.innerHeight;}function resizeIt() {    if (saveInnerWidth < window.innerWidth ||         saveInnerWidth > window.innerWidth ||         saveInnerHeight > window.innerHeight ||         saveInnerHeight < window.innerHeight )     {        window.history.go(0);    }}