function to_top(obj)
{
  tmp = document.location.href;
  j = tmp.indexOf("#", 0);
  if (j > 0) tmp = tmp.substr(0, j);
  tmp2 = obj.href;
  j = tmp2.indexOf("#", 0);
  tmp2 = tmp2.substr(j);
  document.location.href = tmp + tmp2;
  return false;
}