// JavaScript Document
  function move_up() {
    scroll_clipper.scrollTop = scroll_clipper.scrollTop-70;
  }
  function move_down() {
    scroll_clipper.scrollTop = scroll_clipper.scrollTop+70;
  }