if (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion.substring(0,1)) >=3))
|| ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion.substring(0,1)) >=4))) {
var version=true
}
function change(anaus, name)
{
 if (version)
 {
  if (anaus==1)
  {
     this.document[name].src="bilder/" + name+"but.gif"
     this.document.bgcolor="white"
  }
  if (anaus==0)
  {this.document[name].src="bilder/" + name+"high.gif"
  }
  if (anaus==2)
  {this.document[name].src="bilder/" + name+"down.gif"
  }
 }
}