/* -- User defined function for preloading images */
var preloadFlag = false;
function preloadImages() {
if (document.images) {
pre_reservation_hover = newImage('images/ReservationHover.jpg');
pre_restaurant_hover = newImage('images/RestaurantHover.jpg');
preloadFlag = true;
}
}
/* EOF */