function write_js_log(func, error) {
	//alert("Error at "+func+":\n"+error);
	return true;
}
function get_clock() {
	var date = new Date();
	
	var hour	= date.getHours();
	var minute	= date.getMinutes();
	var second	= date.getSeconds();
	
	var year	= date.getFullYear();
	var month	= date.getMonth();
	var day		= date.getDate();
	
	if(hour	< 10) 		hour		= "0" + hour;
	if(minute	< 10)	minute		= "0" + minute;
	if(day < 10)		day			= "0" + day;
	
	var months	= new Array(
		"Januar",
		"Februar",
		"M&auml;rz",
		"April",
		"Mai",
		"Juni",
		"Juli",
		"August",
		"September",
		"Oktober",
		"November",
		"Dezember"
	);
	
	document.getElementById("clock").innerHTML = day+". "+months[month]+" "+year+", "+hour;
	
	if(second%2)	document.getElementById("clock").innerHTML += ":"+minute+" Uhr";
	else			document.getElementById("clock").innerHTML += " "+minute+" Uhr";
	
}