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