<!-- begin hiding
            function go_back()
            {
              history.back();
            }
            // end hiding -->