<!--
function renderFlash(flashContent) {
  document.write(flashContent);
} /* renderFlash */
-->