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

IP $value) { echo "\t\t\t\t".$value."\n"; } ?> ()