// PRELOAD IMAGES
function revPreloadImages(the_images_array) {
	for(var loop = 0; loop < the_images_array.length; loop++) {
		var an_image = new Image();
		an_image.src = the_images_array[loop];
	}
}
var the_images = new Array(
'/en/corporate/images/comp_submenu01_ovr.gif',
'/en/corporate/images/comp_submenu02_ovr.gif',
'/en/corporate/images/comp_submenu03_ovr.gif',
'/en/corporate/images/comp_submenu04_ovr.gif',
'/en/corporate/images/comp_submenu05_ovr.gif',
'/en/corporate/images/comp_menu_totop_ovr.gif'
);
revPreloadImages(the_images);