var scrolldelay;

function pageScrollDownOn () {
  page_text.scrollBy(0,10);
  scrolldelay = setTimeout('pageScrollDownOn()',100);
}
function pageScrollDownOff () {
  clearTimeout(scrolldelay);
}
function pageScrollUpOn () {
  page_text.scrollBy(0,-10);
  scrolldelay = setTimeout('pageScrollUpOn()',100);
}
function pageScrollUpOff () {
  clearTimeout(scrolldelay);
}

function pageScrollTop () {
  page_text.scrollBy(0,-10000);
}
function pageScrollBottom () {
  page_text.scrollBy(0,10000);
}

function setDave () {
  /*right = document.getElementById('right');
  right.style.background = "url(\'images/bg_rightDave.jpg\')";*/
  document.body.style.background  = "url(\'images/bg_textDave.jpg\')";
}