document.write("Hotel Rivadoro");