<?php if (preg_match('/^\d{5}(-\d{4})?$/', $_POST['zip'])) { }?>
<?php $text = "Hello, /Alice/. How are you?"; print preg_replace('{/([^/]+)/}','<b>\\1</b>', $text);?>