function print_oeffnung() {
  var neu = "<div class='oeffnungszeiten'><h2>Unsere Öffnungszeiten</h2>"  
			+ "Mittwoch bis Freitag von 9 bis 18 Uhr <br><br>"
			+ "Samstag, Sonn- und Feiertag 10 bis 18 Uhr<br><br>"
			+ "Montag & Dienstag Ruhetag<br><br>"
			+ "Abends nach Vereinbarung!<br><br>"
			+"</div>";
  document.getElementById("rechts").innerHTML = neu;
}

function close_oeffnung(name, datei, anzahl) {
  var neu = "<?php include('galerie.php'); print_galery(name, datei, anzahl); ?> </div>";
  document.getElementById("rechts").innerHTML = neu;
  window.location.href=window.location.href; 
}

function close_oeffnung_index() {
  var neu = "<div class='info'><img title='Information' alt='Information' src='Bilder/info.png'></div>";
  document.getElementById("rechts").innerHTML = neu;
}

function close_oeffnung_essen() {
  var neu = "<div class='karte'><img title='Mittagskarte' alt='Mittagskarte' src='Bilder/mittagskarte.png'></div>";
  document.getElementById("rechts").innerHTML = neu;
}