// JavaScript Document

//precarga de imagenes
image1 = new Image();
image1.src = "imagenes/b_inicio_on.jpg";
image2 = new Image();
image2.src = "imagenes/b_nosotros_on.jpg";
image3 = new Image();
image3.src = "imagenes/b_servicio_on.jpg";
image4 = new Image();
image4.src = "imagenes/b_contacto_on.jpg";
image5 = new Image();
image5.src = "imagenes/b_productos_on.jpg";
image6 = new Image();
image6.src = "imagenes/b_biblioteca_on.jpg";

function cambiarImg(imagen) {
	imagenURL='imagenes/b_'+imagen+'_on.jpg';
	document.getElementById(imagen).src=imagenURL;
}
function devolverImg(imagen) {
	imagenURL='imagenes/b_'+imagen+'.jpg';
	document.getElementById(imagen).src=imagenURL;
}