function http_GoBack()
{
  history.back();
}

/*---------------------------------------------------------*/

function http_GoFwd()
{
  history.forward();
}