// This scripts blinks error messages in the header.
var count = 0;
function fktBlink(show)
	{
	if (count++ > 30)
		{
//		document.getElementById('idMeldung').innerHTML= ('');
		document.getElementById('idMeldung').style.color = "gray";
		return;
		}
	if (show)
		{
//		document.getElementById('idMeldung').style.visibility = "visible";
		document.getElementById('idMeldung').style.color = "red";
		window.setTimeout("fktBlink(0)", 500)
		}
	else
		{
//		document.getElementById('idMeldung').style.visibility = "hidden";
		document.getElementById('idMeldung').style.color = "black";
		window.setTimeout("fktBlink(1)", 500)
		}
	}
fktBlink(1);