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 pichold = new Image();
var pichold1 = new Image();
var pichold2 = new Image();
var pichold3 = new Image();
var pichold4 = new Image();

pichold.src = "images/marina.jpg";
pichold1.src = "earlypoolside.jpg";
pichold2.src = "relax.jpg";
pichold3.src = "poolsetup.jpg";
pichold4.src = "jetski.jpg";
pic1.src = "images/kitchen.jpg";
pic2.src = "images/marina.jpg";
pic3.src = "images/living.jpg";
pic4.src = "images/kids1.jpg";
pic5.src = "images/bed.jpg";
pic6.src = "images/bar.jpg";
pic7.src = "golf.jpg";
pic8.src = "golfcourse.jpg";
pic9.src = "spa.jpg";
pic10.src = "setup.jpg";
pic11.src = "bizcenter.jpg";
pic12.src = "grandball.jpg";
pic13.src = "boat.jpg";
pic14.src = "fishing.jpg";
pic15.src = "kidsclub.jpg";

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