// JavaScript Document
var start = setInterval('datum()',1000);
	function datum(){
		
		
		
			var heute = new Date();
		
			var datebox = document.getElementById("date");
			datebox.firstChild.nodeValue = heute.toLocaleString();
			
	}
	function destroy(){
	
			clearInterval(start);
	
	}