<!--
function wacht() {
setTimeout("refresh()",5000)
}

function refresh()
{
	
	window.location.reload( false );
}

//-->