function writeRedirect(pstrDest) {
  document.write('<META http-equiv="refresh" content="0;url=' + pstrDest + '">');
}

function writeLink(pstrDest) {
  document.write('<p>Please wait while you are automatically redirected.</p>');
  document.write('<p>If the redirection fails, please <a href="' + pstrDest + '">click&nbsp;here</a></p>');
}