// JavaScript Document

// Bildwechsel der Menüpunkte
var Bildliste = ["gif/pfeil_drot.gif"];
	for(i=0;i<50;i++)
	{
		var Bild = new Image();
		Bild.src=Bildliste[i];
	}
	function wechsel(nr,bild)
	{
		window.document.images[nr].src=bild;
	}

// Neues Fenster öfnnen mit festen Vorgaben
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

// Browser-Version als nummerischen Wert ermitteln
function pNum(stri)
{
  if (!stri)
    return 1.1; // ist irgendein verdammter IE3.0x oder unter NT
  var tmpstr="";
  var ret=0.0;
// Achtung: IE macht VersionsNrn. 4.095.00.1.3.5, deshalb nehmen wir nur den ersten gefundenen Punkt mit in die Nummer rein
  var dotfound=0;
  for (var i=0; i<stri.length; i++)
    {
     if ((stri.substring(i,i+1)<="9" && stri.substring(i,i+1)>="0") || stri.substring(i,i+1)==".")
        {		
         if(stri.substring(i,i+1)!="." || dotfound==0)
            tmpstr+=stri.substring(i,i+1);	
         if (stri.substring(i,i+1)=="." && dotfound==0)
            dotfound=1;
        }
    }
  ret=eval(tmpstr);
  return (ret);
}