function doPreload()
{
var the_images = new Array(
	'hdr_logo.gif',
	'btn_home_over.gif',
	'btn_location_over.gif',
	'btn_reviews_over.gif',
	'btn_rooms2_over.gif',
	'menu_21_menu_19_over.gif',
	'menu_19_over.gif');
preloadImages(the_images);
}
function preloadImages(the_images_array) {
for(loop = 0; loop < the_images_array.length; loop++)
{
var an_image = new Image();
an_image.src = the_images_array[loop];
}