function Is () {
  var agt = navigator.userAgent.toLowerCase();
  this.major = parseInt(navigator.appVersion);
  this.minor = parseFloat(navigator.appVersion);
  this.nav = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1)
             && (agt.indexOf('compatible')==-1) && (agt.indexOf('opera')==-1)
             && (agt.indexOf('webtv')==-1) && (agt.indexOf('hotjava')==-1));
  this.nav4 = (this.nav && (this.major==4));
  this.nav4up = (this.nav && (this.major>=4));
  this.nav6 = (this.nav && (this.major==5));
  this.nav6up = (this.nav && (this.major>=5));

  this.ie = ((agt.indexOf("msie")!=-1) && (agt.indexOf("opera")==-1));
  this.ie3 = (this.ie && (this.major<4));
  this.ie4 = (this.ie && (this.major==4) && (agt.indexOf("msie 5")==-1));
  this.ie4up = (this.ie  && (this.major>=4));
  this.ie5 = (this.ie && (this.major==4) && (agt.indexOf("msie 5.0")!=-1));
  this.ie5_5 = (this.ie && (this.major==4) && (agt.indexOf("msie 5.5")!=-1));
  this.ie5up = (this.ie  && !this.ie3 && !this.ie4);
  this.ie5_5up =(this.ie && !this.ie3 && !this.ie4 && !this.ie5);

  this.win95 = ((agt.indexOf("win95")!=-1) || (agt.indexOf("windows 95")!=-1));
  this.win98 = ((agt.indexOf("win98")!=-1) || (agt.indexOf("windows 98")!=-1));
  this.winnt = ((agt.indexOf("winnt")!=-1) || (agt.indexOf("windows nt")!=-1));
  this.win32 = (this.win95 || this.winnt || this.win98 || 
               ((this.major>=4) && (navigator.platform=="Win32")) ||
               (agt.indexOf("win32")!=-1) || (agt.indexOf("32bit")!=-1));

  this.mac = (agt.indexOf("mac")!=-1);
  
}

var is;
var isIE3Mac = false;
// workaround per il bug sul reload di IE3 per Mac
if ((navigator.appVersion.indexOf("Mac")!=-1) && (navigator.userAgent.indexOf("MSIE")!=-1) && (parseInt(navigator.appVersion)==3))
  isIE3Mac = true;
else
  is = new Is();

var compatible = false;

//window.onresize = resize;
//window.saveInnerWidth = window.innerWidth;
//window.saveInnerHeight = window.innerHeight;

function resize() {
	if (is.nav) {
    	if (saveInnerWidth < window.innerWidth || 
    	    saveInnerWidth > window.innerWidth || 
    	    saveInnerHeight > window.innerHeight || 
    	    saveInnerHeight > window.innerHeight ) {
        	window.location.reload();
		}
   	} else {
		window.location.reload();
	}
}