ho ridotto la cosa all'osso ed il problema persiste... sembra essere legato alla funzione eval!
questa è la pagina di prova che ho fatto:

<html><head>
<script type="text/javascript">
function prova() {
document.getElementById('prova').appendChild = eval(document.write('prova'))
// ho provato anche con: document.getElementById('prova').innerHTML= eval(document.write('prova')) ... stesso risultato
}
</script></head>
<body>
<div id="prova">bbb</div>
AAA
</body></html>