// Función que cambia el contenido de la imagen de cabecera
// de forma aleatoria, dado el id de la capa.

function cambia_cabecera(elemento) {
	var numero = Math.ceil(Math.random() * 10);
	window.document.getElementById(elemento).style.backgroundImage =  "url(../files/contenidos/foto" + numero + ".jpg)" ;
}