<!--
// Loads the previous URL in the history list.
function goBack()
{
  window.history.back()
}
//-->