public function rule_to_strip_nasties($a) { return preg_replace("|[\\*\\^<?>!\"\\(\\)\\|\\\\/\\[\\]\\+=#%;~`]|", '', $a); }