// a function to load the previous page
function go_back()
{
  window.history.go(-1);
}