<?php if (!defined('SECURED')) { die("Unknown Error!"); } function val($s) { $s = htmlspecialchars($s); $s = str_replace('$', '$$', $s); $s = mysql_escape_string($s); return $s; } ?>