function menuhaut() { document.write('

'); document.write('

'); document.write('

'); document.write('

'); document.write('

');}