function writeMenu(){
	//document.getElementById("menu").innerHTML = "hallo!";
}