function thisMovie(movieName) {
    if (navigator.appName.indexOf("Microsoft") != -1) {
        return window[movieName]
    }
    else {
        return document[movieName]
    }
}
/*function newHeight (height){
	document.getElementById("flash").style.height = height+"px";
	if (navigator.appVersion.indexOf("Safari") != -1) {
		if (thisMovie("index_swf").height == "100%"){
			thisMovie("index_swf").height = "100.01%";
		}else{
			thisMovie("index_swf").height = "100%";
		}
		/*
			A Safari (versiones anteriores a la 3.0.3 al menos)
			hay que "recordarle" que debe actualizar el contenido Flash (con height de 100%) de 
			una div al cambiar la propiedad de altura de esta, y para "recordárselo"
			es preciso cambiar el valor de la propiedad height de dicho contenido Flash
		
	}
}*/
function newHeightWeather (height){
	document.getElementById("weather").style.height = height+"px";
}
/*function showEncabezadoWeather(){
	document.getElementById("encabezado_ElTiempo").innerHTML = "<img src=\"Objetos/PNG/encabezado_El Tiempo.png\" alt=\"El Tiempo\" />";
}*/
/*function setHash(hash, newTitle){
	//La variable newTitle sólo debería ser necesaria en IE (ver la función title)
	if (hash == "null" && !location.hash) return;
	if (hash == "null") location.hash = "#Inicio";
	else location.hash = encodeURI(hash);
	h = location.hash;
	if (navigator.appName.indexOf("Microsoft") != -1){
		title(newTitle, true);
		createHistoryManager();
	}
}*/
/*function createHistoryManager(){
	//Esta función sólo será usada en IE
	frames['hFrame'].location.href = "./Objetos/PHP/historyManager.php?hash=" + encodeURI(location.hash.substr(1)) + "&title=" + document.title;
}*/
//h = location.hash;
/*function hash(){
	if (location.hash != h){
		if (!location.hash) location.hash = "";
		h = location.hash;
		thisMovie("index_swf").onHash(decodeURI(h));
	}
}*/
/*function init(sección){ //La variable sección es opcional, sirve para iniciar la web en una sección concreta sin un hash en la URL
	if (!h && sección) thisMovie("index_swf").onHash("#"+sección);
	else thisMovie("index_swf").onHash(decodeURI(h));
	document.getElementById("rightPanel").style.display = "block";
	setInterval(hash, 1000);
	createHistoryManager();
}*/
/*function title(title, force){
	/*
		La llamada a esta función en IE la realiza la función setHash en el momento que convenga.
		Esta función no debe ser llamada directamente por la aplicación Flash en IE.
	
	if (!force && navigator.appName.indexOf("Microsoft") != -1) return;
	document.title=title
}*/