var    min=40;
var   hour=18;
var   mday=30;
var    mon=5;
var   year=102 + 1900;
var   wday='Donnerstag';
var monstr='Mai';

function print_datetime(){
    if(min < 10){
	min = "0" + min;
    }
    document.write(mday+"."+mon+"."+year+" "+hour+":"+min+" Uhr");
}