// JavaScript Document
  function move_up() {
    scroll_clipper.scrollTop = 0;
  }