// JavaScript Document
// DIV vertikal scrollen

 function down() {
  var ScrollYDiv = document.getElementById("scrollvdiv");
  ScrollYDiv.scrollTop += 1;
  ScrollYDiv.scr = window.setTimeout("down()", 1);
 }

 function top() {
  var ScrollYDiv = document.getElementById("scrollvdiv");
  ScrollYDiv.scrollTop -= 1;
  ScrollYDiv.scr = window.setTimeout("top()", 1);
 }

 function stop() {
  var ScrollYDiv = document.getElementById("scrollvdiv");
  window.clearTimeout(ScrollYDiv.scr);
 }