//----------------------------
// 1 sec. clock functionality
//-----------------------------
function js_clock()
{
  var months=new Array();
	months=["Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember"];
  var daysofweek=new Array();
// "Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag"
	daysofweek=["Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag"];
//	daysofweek=["Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"];
  var localTime=new Date();
  var ms=localTime.getTime();
  var time=new Date(ms);
  var day=time.getDate();
	if(day<10) day="0"+day;
  var month=time.getMonth()+1;
	var month_name=months[time.getMonth()];
	var dayofweek_name=daysofweek[time.getDay()];
	if(month<10) month="0"+month;
  var year=time.getFullYear();
  var hour=time.getHours();
  var minute=time.getMinutes();
  var second=time.getSeconds();
//	var temp="&nbsp;&nbsp;&nbsp;";
	var temp="";
	temp+=dayofweek_name;
	temp+=",&nbsp;"+day+"&nbsp;";
	temp+=month_name;
	temp+="&nbsp;"+year+"&nbsp;/&nbsp;";
  temp+=((hour<10)?"0":"")+hour;
  temp+=((minute<10)?":0":":")+minute;
  temp+=((second<10)?":0":":")+second;
	document.getElementById("jstime").innerHTML=temp;
	setTimeout("js_clock()",1000);
}