// JavaScript Document

	function nuevoAjax()

	{ 

		/* Crea el objeto AJAX. Esta funcion es generica para cualquier utilidad de este tipo, por

		lo que se puede copiar tal como esta aqui */

		var xmlhttp=false; 

		try 

		{ 

			// Creacion del objeto AJAX para navegadores no IE

			xmlhttp=new ActiveXObject("Msxml2.XMLHTTP"); 

		}

		catch(e)

		{ 

			try

			{ 

				// Creacion del objet AJAX para IE 

				xmlhttp=new ActiveXObject("Microsoft.XMLHTTP"); 

			} 

			catch(E) { xmlhttp=false; }

		}

		if (!xmlhttp && typeof XMLHttpRequest!='undefined') { xmlhttp=new XMLHttpRequest(); } 

	

		return xmlhttp; 

	}


function cambia_portada(){

	document.cambiaEdicion.submit();
}
/*
	function cambia_portada(num_edicion){

		ajax=nuevoAjax();

		ajax.open("GET", "get_foto.php?id_edicion="+num_edicion, true);

		ajax.onreadystatechange=function() 

		{ 

			if (ajax.readyState==1)

			{

				//document.getElementById("procesoActual").innerHTML="Enviando mensajes... ";					

			}

			if (ajax.readyState==4)

			{ 

				document.images["img_portada"].src = "manager/ediciones/fotos/" + ajax.responseText;

			} 

		}

		ajax.send(null);

	}

*/