<!--

function hideMagazin() {
	m=document.getElementById('magazin');
}

function showHinweis() {
	document.getElementById('hinweis').style.visibility='visible';
}

function hideHinweis() {
	document.getElementById('hinweis').style.visibility='hidden';
}

//window.setTimeout("hideHinweis()", 8000);
-->