ho provato a documentarmi meglio... e ho trovato (credo) un altra possibile soluzione..ma nemmeno questa funziona :-(

codice:
 body=document.getElementsByTagName('body')[0];

 bodyv=body.firstChild;

 bodyv.nodeValue=bodyv.nodeValue.replace('ciao','salve');

hummm...
nn riesco davvero a saltarcene fuori :-(