/*
 * Nach Oben
 */
function goto_top()
{
  var arr_location = self.location.href.split('#');
  self.location.href = arr_location[0] + '#top';
}