<!--

// Preloading images and setting variables.

var home1 = new Image (64, 22)
home1.src = "images/home.gif"

var home2 = new Image (64, 22)
home2.src = "images/home_over.gif"

var rooms1 = new Image (134, 22)
rooms1.src = "images/rooms.gif"

var rooms2 = new Image (134, 22)
rooms2.src = "images/rooms_over.gif"

var amenities1 = new Image (98, 22)
amenities1.src = "images/amenities.gif"

var amenities2 = new Image (98, 22)
amenities2.src = "images/amenities_over.gif"

var business1 = new Image (173, 22)
business1.src = "images/business.gif"

var business2 = new Image (173, 22)
business2.src = "images/business_over.gif"

var specials1 = new Image (90, 22)
specials1.src = "images/specials.gif"

var specials2 = new Image (90, 22)
specials2.src = "images/specials_over.gif"

var location1 = new Image (95, 22)
location1.src = "images/location.gif"

var location2 = new Image (95, 22)
location2.src = "images/location_over.gif"

var contact1 = new Image (93, 22)
contact1.src = "images/contact.gif"

var contact2 = new Image (93, 22)
contact2.src = "images/contact_over.gif"

var email1 = new Image (152, 25)
email1.src = "images/email.gif"

var email2 = new Image (152, 25)
email2.src = "images/email_over.gif"


// Function for swapping images.

function changePicture(ImageA, ImageB)
{
	ImageA.src = ImageB.src
}

//-->