// Documento JavaScript
// Esta función cargará las paginas
function carganormas()
{
 
 document.normas.diccionary2.value = document.getElementById('diccionary').value;	
 
 document.normas.submit();
}
function vercapa(url)
{
	//primero ocultamos el contenido principal
	document.getElementById('contenido1').style.display = 'none';
	//mostramos el div condetido
	document.getElementById('contenido').style.display = 'block';
	//por ultimo cargamos la url solicitada dentro de la capa contenido
	pagina(url,'contenido');
	
}
function goback()
{
	//primero mostramos el contenido principal
	document.getElementById('contenido1').style.display = 'block';
	//ocultamos el div condetido
	document.getElementById('contenido').style.display = 'none';

	
}

function pagina (url, id_contenedor)
{
    var pagina_requerida = false;
    if (window.XMLHttpRequest)
    {
        // Si es Mozilla, Safari etc
        pagina_requerida = new XMLHttpRequest ();
    } else if (window.ActiveXObject)
    {
        // pero si es IE
        try 
        {
            pagina_requerida = new ActiveXObject ("Msxml2.XMLHTTP");
        }
        catch (e)
        {
            // en caso que sea una versión antigua
            try
            {
                pagina_requerida = new ActiveXObject ("Microsoft.XMLHTTP");
            }
            catch (e)
            {
            }
        }
    } 
    else
    return false;
    pagina_requerida.onreadystatechange = function ()
    {
        // función de respuesta
        cargarpagina (pagina_requerida, id_contenedor);
    }
    pagina_requerida.open ('POST', url, true); // asignamos los métodos open y send
	pagina_requerida.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
   var paso = "diccionary="+document.getElementById('diccionary').value+"&nocache=" + Math.random();
   pagina_requerida.send (paso);
	
	
}
// todo es correcto y ha llegado el momento de poner la información requerida
// en su sitio en la pagina xhtml
function cargarpagina (pagina_requerida, id_contenedor)
{
    if (pagina_requerida.readyState == 4 && (pagina_requerida.status == 200 || window.location.href.indexOf ("http") == - 1))
    document.getElementById(id_contenedor).innerHTML = pagina_requerida.responseText;
}