//(c) September 2005 by flashworker, v1.2 (09.04.2006) 
var WochentagkurzDE = new Array("So", "Mo", "Di", "Mi", "Do", "Fr", "Sa");
var WochentaglangDE = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
var WochentagkurzEN = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
var WochentagkurzEN = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saterday");
var MonatlangDE = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
var MonatlangEN = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
var MonatkurzDE = new Array("Jan.", "Feb.", "März", "April", "Mai", "Juni", "Juli", "Aug.", "Sep.", "Okt.", "Nov.", "Dez.");
var MonatkurzEN = new Array("Jan", "Febr", "March", "April", "May", "June", "July", "Aug", "Sept", "Oct", "Nov", "Dec");
//
function NeuLaden() {
	location.reload();
	window.setTimeout('NeuLaden()', 600000000);
}
function formatZeit(uhrZeit, intFormat) {
	stunde = uhrZeit.getHours();
	minute = uhrZeit.getMinutes();
	sekunde = uhrZeit.getSeconds();
	if (intFormat == 12) {
		if (stunde>12) {
			stunde = stunde-12;
			AmPm = "PM";
		} else if (stunde == 12) {
			AmPm = "PM";
		} else if (stunde == 0) {
			stunde = 12;
			AmPm = "AM";
		} else {
			AmPm = "AM";
		}
	}
	//stunde = ((stunde>9) ? stunde : "0" + stunde);         
	minute = ((minute>9) ? minute : "0"+minute);
	sekunde = ((sekunde>9) ? sekunde : "0"+sekunde);
	strUhrZeit = stunde+":"+minute+":"+sekunde+" Uhr";
	strUhrZeit = ((intFormat == 12) ? strUhrZeit+" "+AmPm : strUhrZeit);
	return strUhrZeit;
}