<!--

// folgende funktion verschluesselt mailto-verweise
function key(kollege,buero) {
status="mailto:" + kollege + "@" + buero;
locationstring = "mailto:" + kollege + "@" + buero;
window.location = locationstring;
}

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}

function MM_showHideLayers() { //v3.0
  var i,p,v,obj,args=MM_showHideLayers.arguments;
  for (i=0; i<(args.length-2); i+=3) if ((obj=MM_findObj(args[i]))!=null) { v=args[i+2];
    if (obj.style) { obj=obj.style; v=(v=='show')?'visible':(v='hide')?'hidden':v; }
    obj.visibility=v; }
}

// stand: 16.02.2000

// filedate(format_string)
// ab IE3.0, NS2.0
// function zum ausgeben von lastmodified datum einer datei
// moegliche uebergabevariable - format_string, dort wird ersetzt:
// 'dd' - tag des monats in zahlen z.b. '13'
// 'ddd' - tag der woche in kurzform z.b. 'Mon'
// 'dddd' - tag der woche in langform z.b. 'Montag'
// 'mm' - monat des jahres in zahlen z.b. '4'
// 'mmm' - monat des jahres in kurzform z.b. 'Apr'
// 'mmmm' - monat des jahres in langform z.b. 'April'
// 'yy' - jahr in kurzform z.b. '00'
// 'yyyy' - jahr in langform z.b. '2000'
// string 'ddd, dd.mm.yy ist dddd, der dd. mmmm des jahers yyyy' wird zu
// 'Mon, 13.04.00 ist Montag, der 13. April des jahers 2000'
function filedate(format_string) {
	var dat = new Date(Date.parse(document.lastModified));
	var day = new Array("So","Mo","Di","Mi","Do","Fr","Sa")
	var mon = new Array("Jan","Feb","M&auml;r","Apr","Mai","Jun","Jul","Aug","Sep","Okt","Nov","Dez");
	var day_long = new Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
	var mon_long = new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");

	var dd = dat.getDate();
	var ddd = day[dat.getDay()];
	var dddd = day_long[dat.getDay()];
	var mm = dat.getMonth()+1;
	var mmm = mon[dat.getMonth()];
	var mmmm = mon_long[dat.getMonth()];
	var yy = (dat.getYear()>2000)?(dat.getYear()-2000):((dat.getYear()>1900)?(dat.getYear()-1900):dat.getYear());
	var yyyy = (dat.getYear()<70)?(dat.getYear()+2000):((dat.getYear()<1900)?(dat.getYear()+1900):dat.getYear());

	// die fuehrende null...
	if (dd<10){dd="0"+dd;}
	if (mm<10){mm="0"+mm;}
	if (yy<10){yy="0"+yy;}
	
	// searchorder iss von mehr 'yyyy' nach weniger 'yy' zu ordnen
	var order = new Array("yyyy","yy","mmmm","mmm","mm","dddd","ddd","dd");

	// wenn kein string uebergeben wurde...
	if (!format_string) {format_string="zuletzt ge&auml;ndert: dd.mm.yyyy";}
	
	var i,j,k=0;
	var k=order.length;

	for (j=0 ; j<k ; j++)
	{
		i=format_string.indexOf(order[j]);
		if (i!=-1)
		{
			format_string = (format_string.substring(0,i)+eval(order[j])+format_string.substring(i+order[j].length,format_string.length));
			j--;
		}
	}

	document.write(format_string);
}

// zoom oeffnet ein bild in einem fenster, ohne dass eine html-datei vorhanden sein muss
function zoom(img, w, h) 
{window.open(img,"zoom"+w+h,"toolbar=no,location=no,directories=no,status=no,scrollbars=no,resizable=no,copyhistory=no,width="+w+",height="+h);
}

// open_win(url,winname,w,h,winprop)
// function zum oeffnen eines zusaetzlichen fensters
// url: pfad+filename des files welches geoeffnet werden soll (zb. xxx.htm oder yyy.gif)
// winname: referenzname des windows welches geoeffnet wird (zb. 'pic_show') - falls leer wird mit _blank ein neues win aufgemacht
// w,h: weite und hoehe angegeben in pixel (falls nicht angegeben: 420,420)
// winprop: die properties des fensters, z.b. ob scrollbalken, ob menue, ob resizable etc. wird in einem string angegebn, default: leeres fenster
// BSP: javascript:open_win('test.htm','mynewwindow',280,170,'toolbar=no,status=yes')
// dieses script kann auch zum framenachladen genutzt werden (winname=framename)
function open_win(url, winname, w, h, winprop)
{
	(w==null) ? w=420 : "" ;
	(h==null) ? h=420 : "" ;
	(winname==null) ? winname="_blank" : "" ;
	(winprop==null) ? winprop="toolbar=no,location=no,directories=no,status=no,scrollbars=yes,resizable=no,copyhistory=no" : "" ;
	if (top.frames[winname]) {
		winprop=""
	} // wir wollen nicht ein vorhandenes frameset z.b. ueberschreiben...
	popup = window.open(url,winname,"width="+w+",height="+h+","+winprop)
	if (popup.opener == null) {
		popup.opener = window
	}
	if (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3)) || ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4))) {
		popup.focus();
	}
}


// rollover(imgname,imgfile)
// function zum ersetzten von images: rollover
// imgname: name des zu ersetzenden images, wird im <IMG> tag mit NAME="img_name" angegeben
// imgfile: pfad und name des imagefiles (z.b. ../../pics/tech/button_on.gif)
function rollover(imgname,imgfile)
{
	img = imgfile;
	img=escape(img);re=/[^_A-Za-z]/g;img=img.replace(re,"_");
	if (i[img]) {
		document.images[imgname].src = i[img].src;
	}
	else {
		document.images[imgname].src = imgfile;
	}
}


// preload(imgfile)
// function zum cachen von images
// imgfile: pfad und name des imagefiles (z.b. ../../pics/tech/button_on.gif)
function preload(imgfile,width,height)
{
	img = imgfile;
	img=escape(img);re=/[^_A-Za-z]/g;img=img.replace(re,"_");
	i = new Array();
	i[img] = new Image(width,height);
	i[img].src = imgfile;
}


// pulldown menue im frameverband

function jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}


// bilder tauschen
// script zum austauchen von oertlich unterschiedlichen bildern
// das bild, das ausgetauscht werden soll, muss benannt werden (siehe beispiel "streifen2_li")

  var imgs, cObj = 0, iM = 100;
  imgs = new Array();

function load(name, first, second) {  
    imgs[cObj] = new Array(3);
    imgs[cObj][0] = new Image();
    imgs[cObj][0].src = first;
    imgs[cObj][1] = new Image();
    imgs[cObj][1].src = second;
    imgs[cObj][2] = name;
    cObj++;
}

function on(name){
        if (document.images[imgs[name][2]] != null)
                document.images[imgs[name][2]].src = imgs[name][1].src;
                        iM = name
}

function off(){
      if (document.images[imgs[iM][2]] != null) 
                document.images[imgs[iM][2]].src = imgs[iM][0].src;
}


// -->