function scriptum_nictens()
	{ if(document.getElementById('nictatio').style.visibility = 'hidden') { setTimeout("document.getElementById('nictatio').style.visibility = 'visible';",300); }
		else { setTimeout("document.getElementById('nictatio').style.visibility = 'hidden';",700); }
	}
setInterval("scriptum_nictens();",1000)