// some javascript function to handle preloading and rollovers
var imageDir = "images/";
function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}

function changeImages() {
	if (document.images && (preloadFlag == true)) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = imageDir + changeImages.arguments[i+1];
		}
	}
}

var preloadFlag = false;
function preloadImages() {
	if (document.images) {
		nav_resultados_ovr = newImage(imageDir + "nav_resultados_ovr.gif");
		nav_proceso_ovr = newImage(imageDir + "nav_proceso_ovr.gif");	
		nav_galeria_ovr = newImage(imageDir + "nav_galeria_ovr.gif");			
		preloadFlag = true;
		//alert("images preloaded");
	}
}

//preloadImages();