document.write("Hotel IL Maniero");