// JavaScript Document
function paginador(pag, div, pagina, varr){
   	ajax = conectar();
	
	var data = new Date();
	
	ajax.open('GET', pagina+'?'+varr+'='+pag+'&'+data.getMilliseconds()+data.getSeconds(), true);
	ajax.onreadystatechange = function(){
		if(ajax.readyState == 4){
		   	div.innerHTML = ajax.responseText;
			execScript(ajax.responseText);	
		}
	}
	
	ajax.send();
}
function execScript(codigoHTMLcomScript)
{
   // Cria elemento de script
   var scriptObj = document.createElement('script');

   // Divide o responseText em 2 partes, sendo a segunda a parte onde irá iniciar o script
   // então desconsidera a primeira parte.
   tmpScriptCode = codigoHTMLcomScript.split('<script language="javascript" type="text/javascript">');

   // divide a parte relevante novamente em 2 partes, sendo que agora a primeira
   // parte conterá o script, a segunda parte é descartada.
   if(typeof(tmpScriptCode[1]) != "undefined"){
   scriptCode = tmpScriptCode[1].split('</script>');

   // Define parâmetro language=javascript para o objeto de script 
   scriptObj.setAttribute('language', 'javascript');

   // Atribui o código-fonte do script ao obj de script
   scriptObj.text = scriptCode[0];

   // Executar o script
   document.body.appendChild(scriptObj);
   }

}