// JavaScript Document
var source,dest,len,now=0,delay=30,letters=1;
function show_text()
{
        source = document.getElementById("pageTextSource");
        dest = document.getElementById("pageText");
        len = source.innerHTML.length;
        show();
}

function show()
{
        dest.innerHTML += source.innerHTML.substr(now,letters);
        now+=letters;

        if(now<len)
                setTimeout("show()",delay);
}