<!-- Código javascript que se pone en la etiqueta <head> -->
var xmlhttp = false;
try{
//comprobamos si es IE
xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
}catch(e){
try{
xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
}catch(e){
xmlhttp = false;
}
}
if(!xmlhttp && typeof XMLHttpRequest != 'undefined'){
xmlhttp = new XMLHttpRequest();
}

function cambiaTexto(capa,pagina_web)
{
	xmlhttp.open("GET", pagina_web);
	xmlhttp.onreadystatechange = function(){
		if(xmlhttp.readyState == 4 && xmlhttp.status == 200){
		  document.getElementById(capa).innerHTML = xmlhttp.responseText;
		}		
	}
	xmlhttp.send(null);
}
// JavaScript Document