var dining_room = new Image();
var mens_grill = new Image();
var mixed_grill = new Image();
var presidents_suite = new Image();
var pub = new Image();


dining_room.src = "images/Dining_Room.jpg";
mens_grill.src = "images/mens_grill.jpg";
mixed_grill.src = "images/mixed_grill.jpg";
presidents_suite.src = "images/Presidents_Suite.jpg";
pub.src = "images/pub.jpg";

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