var screen_width;	//client area of browser
var screen_height;

function Is() {
    var agent = navigator.userAgent.toLowerCase();
    this.major = parseInt(navigator.appVersion);
    this.minor = parseFloat(navigator.appVersion);
    this.ns  = ((agent.indexOf('mozilla')!=-1) && ((agent.indexOf('spoofer')==-1) && (agent.indexOf('compatible') == -1)));
    this.ns2 = (this.ns && (this.major == 2));
    this.ns3 = (this.ns && (this.major == 3));
    this.ns4b = (this.ns && (this.minor < 4.04));
    this.ns4 = (this.ns && (this.major >= 4));
    this.ie   = (agent.indexOf("msie") != -1);
    this.ie3  = (this.ie && (this.major == 2));
    this.ie4  = (this.ie && (this.major >= 4));
    this.op3 = (agent.indexOf("opera") != -1);
    this.win   = (agent.indexOf("win")!=-1);
    this.mac   = (agent.indexOf("mac")!=-1);
    this.unix  = (agent.indexOf("x11")!=-1);
}

var is = new Is();	//the variable is holds the browser version etc.
if(is.ns4) {
    doc = "document";
    sty = "";
    htm = ".document"
} else if(is.ie4) {
    doc = "document.all";
    sty = ".style";
    htm = ""
}
function GetScreenDimensions(){
	if(is.ns4) {
		screen_width=innerWidth;
		screen_height=innerHeight;
	} else if(is.ie4) {
		screen_width=document.body.clientWidth;
		screen_height=document.body.clientHeight;
	}
}
function MakeNest(nesting){
	var parts=nesting.split(" ");
	if(is.ns)	return doc+"."+parts.join(".document.");
	if(is.ie)	return doc+"['"+parts[parts.length-1]+"']";
}
var numresizes=0;
function Resize(){
	if(is.ie)history.go(0);
	if(is.ns){
		numresizes+=1;
		if((numresizes%2)==0)history.go(0);
	}
}