document.write("<div id=\"menu1Container\"><div id=\"menu1Content\" class=\"menu\"><div class=\"options\">");
document.write(" <a href=hotel.htm target=_parent>Hotel</a>");
document.write(" <a href=restaurant.htm target=_parent>Restaurant</a>");
document.write(" <a href=zimmer.htm target=_parent>Zimmer/Appartements</a>");
document.write(" <a href=gastgeber.htm target=_parent>Gastgeber</a>");
document.write(" <a href=anreise.htm target=_parent>Anreise</a>");
document.write("</div></div></div>");
document.write("");
document.write("<div id=\"menu2Container\"><div id=\"menu2Content\" class=\"menu\"><div class=\"options\">");
document.write(" <a href=p_sommer.htm target=_parent>Preise Sommer</a>");
document.write(" <a href=p_winter.htm target=_parent>Preise Winter</a>");
document.write(" <a href=last_minute.php target=_blank>Last Minute</a>");
document.write("</div></div></div>");
document.write("");