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