homebtn = new Image(140,56);
homebtn.src ="graphics/buttons/home.gif";
facilitiesbtn = new Image(140,56);
facilitiesbtn.src ="graphics/buttons/facilities.gif";
pricesbtn = new Image(140,56);
pricesbtn.src ="graphics/buttons/prices.gif";
photosbtn = new Image(140,56);
photosbtn.src ="graphics/buttons/photos.gif";

directionsbtn = new Image(140,36);
directionsbtn.src ="graphics/buttons/directions.gif";
thingsbtn = new Image(140,36);
thingsbtn.src ="graphics/buttons/things.gif";
reservationsbtn = new Image(140,36);
reservationsbtn.src ="graphics/buttons/reservations.gif";
contactbtn = new Image(140,36);
contactbtn.src ="graphics/buttons/contact.gif";
linksbtn = new Image(140,36);
linksbtn.src ="graphics/buttons/links.gif";

function changepic (imgObj, FName) {
   imgObj.src = FName
}