/* solve a bug NS4 when resizing browser ! */ 
//  ( Now, a bad solution :    NS4 = document.layers;  )
      if (NS4) {
         origWidth = innerWidth;
         origHeight = innerHeight;
      }
function reDo() {
      if (innerWidth != origWidth || innerHeight != origHeight)
	  	  location.reload();
   }
if (NS4) onresize = reDo;