" . htmlspecialchars($ver) . ""; } ?>