//Funciones que invocan el generador de imagenes
function mostrarPortada(idNota, tipoTop)
{
//Carga el nuevo encabezado
topPortada(idNota,tipoTop)

//Carga el objeto AJAX
xmlHttp=obtenerXmlHttp()

if (xmlHttp==null)
 {
 alert ("Su navegador no soporta AJAX")
 return
 }

var url="portada.php"
xmlHttp.onreadystatechange=cargaArchivo
xmlHttp.open("GET",url,true)
xmlHttp.send(null)

}

function cargaArchivo() 
{ 
if(xmlHttp.readyState==1)
{
 document.getElementById("col_central").innerHTML="<div id='texto_precarga'>Cargando portada por favor espere...</div>";
}

else if (xmlHttp.readyState==4 || xmlHttp.readyState=="complete")
 {
 //Carga la información de la portada
 document.getElementById("col_central").innerHTML=xmlHttp.responseText  
 } 
}