// nav.js
browserVer=parseInt(navigator.appVersion);
if(browserVer >=3)
  ok = 0;
else
  ok= 1;
  
if (ok == 0)
 {
	obj1_on=new Image(112,21);
	obj1_on.src="gfx_nav/leistungen_on.gif";
	obj1_off=new Image(112,21);
	obj1_off.src="gfx_nav/leistungen_off.gif";
	
	obj2_on=new Image(112,21);
	obj2_on.src="gfx_nav/referenzen_on.gif";
	obj2_off=new Image(112,21);
	obj2_off.src="gfx_nav/referenzen_off.gif";

	obj3_on=new Image(112,21);
	obj3_on.src="gfx_nav/kontakt_on.gif";
	obj3_off=new Image(112,21);
	obj3_off.src="gfx_nav/kontakt_off.gif";
	
  }