<script>
var source,dest,len,now=0,delay=100,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;
