function go_back()
{
  window.history.go(-1);
}