function menu1()
{
document.write('Chambres |\n');
document.write('Appartement |\n');
document.write('Société |\n');
document.write('Extra |\n');
document.write('Prix |\n');
document.write('Idée cadeau |\n');
document.write('Historique |\n');
document.write('Atelier |\n');
document.write('Activités |\n');
document.write('Jardin |\n');
document.write('Tourisme |\n');
document.write('Route\n');
}