<!--
document.writeln(
  ' <a href="javascript:history.back()">back<\/a>'
);
// -->
