function createMenu_817() {

/* Menu menu_817 */
jmenu_817 = new jsDOMenu("14em", "absolute");
jmenu_817.addMenuItem(new menuItem("The house","","817d818.html"))
jmenu_817.addMenuItem(new menuItem("Indoors (Rooms)","","817d819.html"))
jmenu_817.addMenuItem(new menuItem("Outside (Terraces)","","817d820.html"))
jmenu_817.addMenuItem(new menuItem("Facilities","","817d821.html"))
}