var pic1 = new Image();
var pic2 = new Image();
var pic3 = new Image();
var pic4 = new Image();
var pic5 = new Image();
var pic6 = new Image();
var pic7 = new Image();
var pic8 = new Image();
var pic9 = new Image();
var pic10 = new Image();
var pic11 = new Image();
var pic12 = new Image();
var pic13 = new Image();
var pic14 = new Image();
var pic15 = new Image();
var pic16 = new Image();
var pic17 = new Image();
var pic18 = new Image();
var pic19 = new Image();
var pic20 = new Image();
var pic21 = new Image();
var pic22 = new Image();
var pic23 = new Image();
var pic24 = new Image();
var pic25 = new Image();
var pic26 = new Image();
var pic27 = new Image();
var pic28 = new Image();
var pic29 = new Image();
var pic30 = new Image();
var pic31 = new Image();
var pic32 = new Image();
var pic33 = new Image();
var pic34 = new Image();
var pic35 = new Image();
var pic36 = new Image();
var pic37 = new Image();
var pic38 = new Image();
var pic39 = new Image();
var pic40 = new Image();

pic1.src = "hot-ext.jpg";
pic2.src = "hot-ext1.jpg";
pic3.src = "hot-ext2.jpg";
pic4.src = "hot-ext3.jpg";
pic5.src = "exe-king1.jpg";
pic6.src = "exe-king2.jpg";
pic7.src = "exe-king3.jpg";
pic8.src = "exe-king4.jpg";
pic9.src = "stand-double1.jpg";
pic10.src = "stand-double2.jpg";
pic11.src = "stand-double3.jpg";
pic12.src = "stand-double4.jpg";
pic13.src = "restaurant1.jpg";
pic14.src = "restaurant2.jpg";
pic15.src = "restaurant3.jpg";
pic16.src = "restaurant4.jpg";
pic17.src = "phi-brasserie1.jpg";
pic18.src = "phi-brasserie2.jpg";
pic19.src = "phi-brasserie3.jpg";
pic20.src = "phi-brasserie4.jpg";
pic21.src = "restaurant-menu1.jpg";
pic22.src = "restaurant-menu2.jpg";
pic23.src = "restaurant-menu3.jpg";
pic24.src = " ";
pic25.src = "aminities1.jpg";
pic26.src = "aminities2.jpg";
pic27.src = "aminities3.jpg";
pic28.src = "aminities4.jpg";
pic29.src = "fitness-center1.jpg";
pic30.src = "fitness-center2.jpg";
pic31.src = "fitness-center3.jpg";
pic32.src = "fitness-center5.jpg";
pic33.src = "lobby4.jpg";
pic34.src = "lobby1.jpg";
pic35.src = "lobby5.jpg";
pic36.src = "lobby3.jpg";
pic37.src = " ";
pic38.src = " ";
pic39.src = " ";
pic40.src = " ";


function doButtons(picimage) {
eval("document['picture'].src = " + picimage + ".src");
}