// JavaScript Document
// DIV vertikal scrollen

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

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

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