// JavaScript Document

function init() {
	document.getElementById("einleitung").style.visibility = "hidden";
}