function timest()
{
	var jetzt=new Date();
	ts=Math.floor(jetzt.getTime()/1000);
	var target = document.getElementById("timestamp");
	target.innerHTML = ts;
	window.setTimeout ('timest()',500);
}