>> Прошу прощения за чайниковский вопрос, но как могу я изменить текст в уже открытом документе с помощью процедуры на javascript (например, поменять текст, содержащийся между тегами div и /div)?
> задай своему div_у идентификатор
> типа id="myDiv"
> а потом сделай в скрипте
> myDiv.innerText = "новый текст";
> можно изменять html содержимое
> myDiv.innerHTML = "<b>новый жирный текст</b>";
> смотри также outerText и outerHTML
не советую использовать чего-либо, кроме innerHTML - не будет работать нигде, кроме как в MSIE.
если нужна поддержка NN4 см.
http://www.dhtml.ru/howto/replace/