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

/ () () <?php if (!empty($v_aliases)) echo $v_aliases; ?> () <?php if (!empty($v_fwd)) echo $v_fwd; ?> >