function objetoAjax(){var xmlhttp=false;
try {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();}
return xmlhttp;}
function Pagina(nropagina){
divContenido = document.getElementById('contenido');
ajax=objetoAjax();
ajax.open("GET", "paginador.php?pag="+nropagina);
divContenido.innerHTML= '<div class="h5">Cargando...</div>';
ajax.onreadystatechange=function() {
if (ajax.readyState==4) {
divContenido.innerHTML = ajax.responseText}}
ajax.send(null)}