function change_position(wert)
  {
   document.getElementById('top_navi').style.backgroundPosition = wert;
  }