<!--
var darkened_pics = new Array();
var lighted_pics = new Array();
var clicked_pics = new Array();

function preloadButtonSet(num,dark,light,clicked) {
 darkened_pics[num] = new Image();
 darkened_pics[num].src = dark;
 lighted_pics[num] = new Image();
 lighted_pics[num].src = light;
 clicked_pics[num] = new Image();
 clicked_pics[num].src = clicked;
}

// ***** MODIFY THE VARIABLES BETWEEN THESE COMMENTS *****

// define the image swapping in the following format:
// preloadButtonSet(button_num,dark_button_src,light_button_src,clicked_button_src)

preloadButtonSet(1,"../images/home.gif","../images/home_on.gif","../images/home.gif");
preloadButtonSet(2,"../images/motorinn.gif","../images/motorinn_on.gif","../images/motorinn.gif");
preloadButtonSet(3,"../images/convention.gif","../images/convention_on.gif","../images/convention.gif");
preloadButtonSet(4,"../images/restaurant.gif","../images/restaurant_on.gif","../images/restaurant.gif");
preloadButtonSet(5,"../images/booking.gif","../images/booking_on.gif","../images/booking.gif");

// -->


<!--
function lighten(num) {
 if (document.images)
  eval("document.button"+num+".src = lighted_pics["+num+"].src;");
 return false;
}
function darken(num) {
 if (document.images)
  eval("document.button"+num+".src = darkened_pics["+num+"].src;");
 return false;
}
function clicked(num) {
 if (document.images) {
  eval("document.button"+num+".src = clicked_pics["+num+"].src;");
  setTimeout("document.button"+num+".src = darkened_pics["+num+"].src;");
 }
 return true;
}
// -->