document.write(""); document.getElementById("contenu_texte").innerHTML=document.getElementById("contenu_texte2").innerHTML + "