function randomImage() {	
	var picN = Math.round(Math.random() * 14); //Generamos un numero aleatorio desde 0 hasta el numero de la imagen mas alta
	var picSRC = "url(/export/system/modules/es.ieci.opencms.content/resources/images/header_" + picN + ".jpg)"; //Creamos la ruta a la imagen con el nuevo numero
	document.getElementById('header').style.backgroundImage = picSRC; //Le pasamos la nueva ruta al elemento deseado
	}