<!--
/*präsentiert von kostenlose-javascripts.de*/	
function GetDay(intDay){
var DayArray = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
return DayArray[intDay];
}

function GetMonth(intMonth){
var MonthArray = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
return MonthArray[intMonth];
}
function getDateStrWithDOW(){
var today = new Date();
var year = today.getYear();
if(year<1000) year+=1900
var todayStr = GetDay(today.getDay()) + ", ";
todayStr += today.getDate() + ". " + GetMonth(today.getMonth());
todayStr += ", " + year;
return todayStr;
}
/*präsentiert von kostenlose-javascripts.de*/	

function surfto(form) {
        var myindex=form.select1.selectedIndex
        if (form.select1.options[myindex].value != "0") {
       	 location=form.select1.options[myindex].value;}
}

-->