// JavaScript Document

// preload menu images
// Notes: the images array to preload must be the same in the array $menu_file_on of function printMenu in file'menu.inc.php'
var imageover = new Array();
var the_images = new Array('noticias_on.gif', 'apresentacao_on.gif','servicos_on.gif', 'produtos_on.gif', 'localizacao_on.gif', 'contactos_on.gif');
preloadImages(the_images);

function preloadImages(the_images_array)
{
	for (loop=0; loop < the_images_array.length; loop++)
	{
		imageover[loop] = new Image();
		imageover[loop].src = "images/pt/menu/" + the_images_array[loop];
	}
}

// swap images from the  menu

function swap(i1,i2)
{
	var temp = i1.src;
	i1.src = imageover[i2].src;
	imageover[i2].src = temp;
}