function displayDate() {
	var jetzt = new Date();
	Monatsbezeichnung = new Array ("January","February",
	"March","April","May","June","July","August",
	"September","October","November","December");
	var Tag = jetzt.getDate();
	var Monat = jetzt.getMonth();
	var Jahr = jetzt.getFullYear();

	document.write(Monatsbezeichnung[Monat] + " " + Tag + ", " + Jahr);
	}
	
function displayDate_de() {
	var jetzt = new Date();
	Monatsbezeichnung = new Array ("Jänner","Februar",
	"März","April","Mai","Juni","Juli","August",
	"September","Oktober","November","Dezember");
	var Tag = jetzt.getDate();
	var Monat = jetzt.getMonth();
	var Jahr = jetzt.getFullYear();

	document.write(Tag + ". " + Monatsbezeichnung[Monat] + ", " + Jahr);	
    }
	
function quickjump(form) 
				{
 				var go = (form.linkList.options[form.linkList.selectedIndex].value);
 				document.location.href=go;
				}