/*
dans le head du fichier en question <script src="flash.js" type="text/javascript"></script>
a la place du code <script type="text/javascript">fonction();</script>
*/
function menu()
{
	document.write('<object classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,29,0" width="252" height="134">\n');
		document.write('<param name="movie" value="flash/Hotelmenu.swf">\n');
		document.write('<param name="quality" value="high">\n');
		document.write('<embed src="flash/Hotelmenu.swf" quality="high" pluginspage="http://www.macromedia.com/go/getflashplayer" type="application/x-shockwave-flash" width="252" height="134"></embed>\n');
	document.write('</object>\n');
}