function show_clock(id_name) {
   var weekdays =  new Array("Sonntag","Montag","Dienstag",
                   "Mittwoch","Donnerstag","Freitag","Samstag");
  	var now = new Date( ) ;
  	var day = now.getDate( ) ;
  	var month = now.getMonth( ) + 1 ;
  	var year = now.getFullYear( ) ;
  	var weekday = now.getDay( ) ;
  	var hours = now.getHours( ) ;
  	var minutes = now.getMinutes( ) ;
   	var seconds = now.getSeconds( ) ;
  	var day0  = ((day < 10) ? "0" : "") ;
  	var month0  = ((month < 10) ? ".0" : ".") ;
  	var hours0  = ((hours < 10) ? "0" : "") ;
  	var minutes0  = ((minutes < 10) ? ".0" : ":") ;
  	var seconds0  = ((seconds < 10) ? ".0" : ":") ;
  	var given_name = "Florin" ;
	var family_name = "Rutschmann" ;
	var copy = "&copy;" ;
	var name = copy + " " + "-" + " " + given_name + " " + family_name ;
  	var output = name + " - " + weekdays[weekday] + ", " + day0 + day + month0 + 
                month + "." + year + ", " + hours0 + hours + 
                minutes0 + minutes + seconds0 + seconds + 
                " Uhr" ;
  	document.getElementById(id_name).innerHTML = output ;
  	window.setTimeout("show_clock('" + id_name + "')", 1000) ;
}