<!--
	function bisiesto(year) {

		// Retorna true si el año 'year' es bisiesto. False en caso contrario.

		return (((year % 4 == 0) && (year % 100 != 0)) || (year % 400 == 0)) ? 1 : 0;
	}

	function zeroleft(number, digits) {

		// Rellena 'number' con 0 a la izquierda hasta completarlo para que ocupe 'digits' digitos.

		var x, result="";

		number = number + "";
		
		for (x=0;x < (digits - number.length);x++)
			result += "0";
		
		return result + number + "";
	}

	function parserInt(number) {
		
		// Pasa a entero una cadena. parseInt falla con el 08 y el 09.
		
		number = number.toString();
		
		// Capturamos la parte entera si no es entero
		
		if (number.indexOf('.') > -1)
			number = number.substr(0, number.indexOf('.'));
													 
		for (var x=0;x < number.length;x++) {
			if (number.substr(x, 1) != "0")
				return parseInt(number.substr(x));
		}
		
		return 0;
	}
	
	function horario_verano() {
		
		// Retorna en un array, las fechas del último domingo de marzo y el último de octubre,
		// fechas que corresponden a los cambios de hora en España.
		
		var x, startdate, enddate, fechas, fecha, fechahoy, diasem;

		fechahoy = new Date();
		
		for (x=31;x >= 1;x--) {
			fecha = new Date(fechahoy.getFullYear(), 2, x);
			diasem = fecha.getDay();
			if (diasem == 0)
				break;
		}
		
		startdate = fechahoy.getFullYear() + "03" + zeroleft(x, 2);

		for (x=31;x >= 1;x--) {
			fecha = new Date(fechahoy.getFullYear(), 9, x);
			diasem = fecha.getDay();
			if (diasem == 0)
				break;
		}
		
		enddate = fechahoy.getFullYear() + "10" + zeroleft(x, 2);

		return Array(startdate, enddate);
	}
	
	function clock_update() {
		
		// Muestra el reloj en el idioma correspondiente al subdirectorio de la URL (.../en/...)
		
		var x, verano, fecha, meses, dia, mes, mesint, ano, hora, minu, segu, texto, gmt, partes, lang;
		
		// Meses en cada idioma
		
		mesen = new Array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec');
		meseng = new Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
		meses = new Array('Enero', 'Febrero', 'Marzo', 'Abril', 'Mayo', 'Junio', 'Julio', 'Agosto', 'Septiembre', 'Octubre', 'Noviembre', 'Diciembre');
		mesit = new Array('Gennaio', 'Febbraio', 'Marzo', 'Aprile', 'Maggio', 'Giugno', 'Luglio', 'Agosto', 'Settembre', 'Ottobre', 'Novembre', 'Dicembre');
		mesfr = new Array('Janvier', 'F' + String.fromCharCode(233) + 'vrier', 'Mars', 'Avril', 'Mai', 'Juin', 'Juillet', 'Ao' + String.fromCharCode(251) + 't', 'Septembre', 'Octobre', 'Novembre', 'D' + String.fromCharCode(233) + 'cembre');
		mesde = new Array('Januar', 'Februar', 'M' + String.fromCharCode(228) + 'rz', 'April', 'Mai', 'Juni', 'Juli', 'August', 'September', 'Oktober', 'November', 'Dezember');
		
		// Captura las fechas de cambios de hora
		
		verano = horario_verano();
		
		// Captura la fecha y hora
		
		fecha = new Date();
		gmt = fecha.toUTCString();
		partes = gmt.split(' ');

		dia = parserInt(partes[1]);

		for (x=0;x < mesen.length;x++) {
			if (mesen[x] == partes[2]) {
				mesi = x + 1;
				break;
			}
		}

		ano = parserInt(partes[3]);
		hora = partes[4];
		partes = hora.split(':');
		hora = parserInt(partes[0]);
		minu = partes[1];
		segu = partes[2];
		
		hora++;		// Estamos en GMT + 1, por tanto, aumentar la hora
		
		// Ir corrigiendo fechas y horas tras el aumento anterior, si es necesario
		
		if (hora > 23) {
			hora = hora - 24;
			dia++;

			if ((dia > 31 && (mesi == 1 || mesi == 3 || mesi == 5 || mesi == 7 || mesi == 8 || mesi == 10 || mesi == 12)) ||
				(dia > 30 && (mesi == 4 || mesi == 6 || mesi == 9 || mesi == 11)) ||
				(dia > 29 && bisiesto(ano) && mesi == 2) ||
				(dia > 28 && !bisiesto(ano) && mesi == 2)) {
					dia = 1;
					mesi++;
			}

			if (mesi == 13) {
				ano++;
				mesi = 1;
			}
		}
		
		// Capturar el idioma de la URL
		
		partes = document.location.href.split('/');
		lang = partes[3];

		// Si estamos en el horario de verano, debemos aumentar una hora más.
		// Para ello, si la fecha y hora está entre el ultimo domingo de marzo a las 2
		// y el ultimo domingo de octubre a las 3, aumentar la hora. En horario de invierno,
		// se mantiene la hora como la habíamos puesto.

		if (((ano + zeroleft(mesi, 2) + zeroleft(dia, 2)) > verano[0] && (ano + zeroleft(mesi, 2) + zeroleft(dia, 2)) < verano[1]) ||
			((ano + zeroleft(mesi, 2) + zeroleft(dia, 2)) == verano[0] && (hora + ":" + minu + ":" + segu) >= "02:00:00") ||
			((ano + zeroleft(mesi, 2) + zeroleft(dia, 2)) == verano[1] && (hora + ":" + minu + ":" + segu) <= "02:59:59"))
				hora++;

		// Según el idioma, poner la fecha
		
		if (lang == "en") {
			mes = meseng[mesi - 1];
			texto = "Seville, " + mes + " " + dia + ", " + ano + "<br />";
		}
		else if (lang == "it") {
			mes = mesit[mesi - 1];
			texto = "Siviglia, " + dia + " " + mes + " " + ano + "<br />";
		}
		else if (lang == "sp") {
			mes = meses[mesi - 1];
			texto = "Sevilla, " + dia + " de " + mes + " de " + ano + "<br />";
		}
		else if (lang == "fr") {
			mes = mesfr[mesi - 1];
			texto = "S" + String.fromCharCode(233) + "ville, le " + dia + " " + mes + " " + ano + "<br />";
		}
		else if (lang == "de") {
			mes = mesde[mesi - 1];
			texto = "Sevilla, am " + dia + ". " + mes + " " + ano + "<br />";
		}
		else if (lang == "jp") {
			mes = meses[mesi - 1];
			texto = "Sevilla, " + dia + " de " + mes + " de " + ano + "<br />";
		}
		
		// La hora siempre es la misma.
		
		texto += hora + ":" + minu + ":" + segu;

		// Por ultimo, ponerlo en la pagina y volver a ejecutar esta funcion de segundo en segundo.
		
		document.getElementById('clock').innerHTML = texto;
		setTimeout('clock_update()', 1000);
	}

	function in_array(aguja, pajar) {

		// Retorna true si aguja esta en el array pajar.

		for (var x=0;x < pajar.length;x++) {
			if (pajar[x] == aguja)
				return true;
		}
		
		return false;
	}
	
	function change_img() {
		
		// Cambia aleatoriamente las fotos de la cabecera, cada 3/4 de segundo.
		
		var ind, cambiar = parserInt(Math.random() * 5);

		do {
			ind = parserInt(Math.random() * 11) + 1;
		} while (in_array("imagen" + zeroleft(ind, 2) + ".jpg", fotos));
			
		fotos[cambiar] = "imagen" + zeroleft(ind, 2) + ".jpg";
		document.getElementById('img' + cambiar).src = '../img/cabecera/imagen' + zeroleft(ind, 2) + '.jpg';
		
		setTimeout('change_img()', 750);
	}

	clock_update();	// Inicia el reloj
// -->