<!--



// 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);

}





// open_win(url,winname,w,h,winprop)

function open_win(url,winname,w,h,winprop)

{

	if(w==0){w=420}

	if(h==0){w=420}

	if(winname==""){winname="_blank"}

	if(winprop==""){winprop="toolbar=no,location=no,directories=no,status=no,scrollbars=yes,resizable=no,copyhistory=no,width=276,height=320"}

	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();

	}

}



// -->