function BrowserCheck() {
	var b = navigator.appName
	if (b=="Netscape") this.b = "ns"
	else if (b=="Microsoft Internet Explorer") this.b = "ie"
	else this.b = b
	this.version = navigator.appVersion
	this.v = parseInt(this.version)
	this.ns = (this.b=="ns" && this.v>=4)
	this.ns4 = (this.b=="ns" && this.v==4)
	this.ns5 = (this.b=="ns" && this.v==5)
	this.ie = (this.b=="ie" && this.v>=4)
	this.ie4 = (this.version.indexOf('MSIE 4')>0)
	this.ie5 = (this.version.indexOf('MSIE 5')>0)
	this.min = (this.ns||this.ie)
}
is = new BrowserCheck()

function pause(){
	secscount++
	if (secscount>pausesecs)
		{window.location=is.ns?"thies_n.htm":"thies_e.htm"}
	setTimeout("pause()", 1000)}

function jpgLoad(ims){
      for (i=0;i<ims.length;i++){
	var a=ims[i]+" = new Image()"
	var s="pics/"+ims[i]+".jpg"
	s=ims[i]+'.src = "'+s+'"'
	eval (a)
	eval (s)}
return (ims)}

function gifLoad(ims){
      for (i=0;i<ims.length;i++){
	var a=ims[i]+" = new Image()"
	var s="images/"+ims[i]+".gif"
	s=ims[i]+'.src = "'+s+'"'
	eval (a)
	eval (s)}
return (ims)}


function findWH() {
	winW = (is.ns)? window.innerWidth : document.body.offsetWidth-20
	winH = (is.ns)? window.innerHeight : document.body.offsetHeight-4
}

function resizef(){
if (is.ns4){window.location="newmain.htm"}
else {reposall()}
}