Much?simas gracias por tu ayuda

No termino de entender porque con tu ejemplo se "recarga" la p?gina, de forma que desaparece los botones.
Adem?s se me plantea la duda de que con el document.write, si vuelves a escribir, no sustituye lo anterior, que es lo que quiero.
De todas formas googleando durante unas *cuantas* horas he encontrado una manera que "parece" ser m?s limpia que usar el document.write, y es con DHTML, modificando un DIV mediante InnerHTML. Lo bueno es que adem?s coge el contenido de un archivo, con lo que facilita much?simo la traducci?n de la p?gina
El c?digo lo saque de
aqu?, y funciona perfectamente y parece ser muy limpio :lol:
El HTML:
<html>
<head>
<title>Probando</title>
<script language="JavaScript" src="traduccion.js"></script>
</head>
<!-- Cargamos al principio el texto en ingl?s -->
<body onload="paginas('ingles.txt','contenidos')">
<a href="#" onclick="paginas('ingles.txt','contenidos')">Ingles</a><p>
<a href="#" onclick="paginas('castellano.txt','contenidos')">Castellano</a><p>
<div id="contenidos" >
</div>
<br>
Texto que debe ir a continuaci?n de lo anterior.
</body>
</html>
El archivo traduccion.js:
// Documento JavaScript
// Esta funci?n cargar? las paginas
function paginas (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 ('GET', url, true); // asignamos los m?todos open y send
pagina_requerida.send (null);
}
// 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;
}