public function rule_to_zip($a) { // Change 12345 1234 to 12345-1234 $a = preg_replace('/[^0-9-]/', '', $a); $this->rule_zip($a); }