//HTTP Request AjAX
function ObjAjax(){
	try{return new XMLHttpRequest()}
	catch(e){try{return new ActiveXObject("Msxml2.XMLHTTP")}
	catch(e){return new ActiveXObject("Microsoft.XMLHTTP")}}
	return null;
}

function nav(pg){
var div = document.getElementById("navegar");
var ajax = new ObjAjax;

	ajax.onreadystatechange = function(){
		if(ajax.readyState == 4){
			div.innerHTML = ajax.responseText;
			doScript(ajax.responseText);
			}
		}
		
		ajax.open("GET",pg,true);
		ajax.send(null);
}	

function doScript(texto){
    var ini, pos_src, fim, codigo;
    var objScript = null;
    ini = texto.indexOf('<script', 0);
    while (ini!=-1){
        var objScript = document.createElement("script");
        //Busca se tem algum src a partir do inicio do script
        pos_src = texto.indexOf(' src', ini)
        ini = texto.indexOf('>', ini) + 1;

        //Verifica se este e um bloco de script ou include para um arquivo de scripts
        if (pos_src < ini && pos_src >=0){//Se encontrou um "src" dentro da tag script, esta e um include de um arquivo script
            //Marca como sendo o inicio do nome do arquivo para depois do src
            ini = pos_src + 4;
            //Procura pelo ponto do nome da extencao do arquivo e marca para depois dele
            fim = texto.indexOf('.', ini)+4;
            //Pega o nome do arquivo
            codigo = texto.substring(ini,fim);
            //Elimina do nome do arquivo os caracteres que possam ter sido pegos por engano
            codigo = codigo.replace("=","").replace(" ","").replace("\"","").replace("\"","").replace("\'","").replace("\'","").replace(">","");
            // Adiciona o arquivo de script ao objeto que sera adicionado ao documento
            objScript.src = codigo;
        }else{//Se nao encontrou um "src" dentro da tag script, esta e um bloco de codigo script
            // Procura o final do script
            fim = texto.indexOf('</script>', ini);
            // Extrai apenas o script
            codigo = texto.substring(ini,fim);
            // Adiciona o bloco de script ao objeto que sera adicionado ao documento
            objScript.text = codigo;
        }

        //Adiciona o script ao documento
        document.body.appendChild(objScript);
        // Procura a proxima tag de <script
        ini = texto.indexOf('<script', fim);

        //Limpa o objeto de script
        objScript = null;
    }
}

function fPic(url){
	var img = new Image();
	var pic = document.getElementById("princ");
	
	img.src = url;
	pic.src = img.src;
	}