function run_flash_intro(url){
document.write('');
}
function run_flash_menu(url){
document.write('');
}
function run_flash_hotel_1(url){
document.write('');
}
function run_flash_hotel_2(url){
document.write('');
}
function run_flash_restaurant(url){
document.write('');
}