function antixss($input) {
strip_tags($input);
$new = htmlspecialchars($input, ENT_QUOTES);
return $new;
}