→ ".htmlentities($_SESSION['error_msg']).""; } else { if (!empty($_SESSION['ok_msg'])) { echo ""; } } ?>

/	→ ".$_SESSION['ok_msg']."