// $Author: jgardner $
// $Revision: 1.2 $
// $Date: 2003/04/09 00:49:49 $
// $Name:  $

if (document.layers){
          originalWindowWidth = innerWidth;
          originalWindowHeight = innerHeight;
          onresize=function() { if(innerWidth != originalWindowWidth || innerHeight != originalWindowHeight) location.reload() };
}