<?php echo "STIT_VRFY"; ?>