// Scrollpfeile
  up_gn = new Image();
  up_gn.src = "img/up0.gif";
  up_ws = new Image();
  up_ws.src = "img/up1.gif";
  dn_gn = new Image();
  dn_gn.src = "img/dn0.gif";
  dn_ws = new Image();
  dn_ws.src = "img/dn1.gif";

  // Blueten
  bl_gn = new Image();
  bl_gn.src = "img/bluete-gn.gif";
  bl_ws = new Image();
  bl_ws.src = "img/bluete-ws.gif";


  function change(name, img) {
    // Bildwechsel
    var obj = eval("window.document."+name);
    obj.src = img.src;
  }


  function scroll(dir) {
    speed = 3 * dir;
    move();
  }


  function stop() {
    speed = 0;
  }


  function move() {
    if (speed != 0) {

      top = top + speed;
      if (top > 0) top = 0;
      if (top < maxtop) top = maxtop;

      document.getElementById("text").style.top = top+'px';
      window.setTimeout("move()", 30);
    }
  }