public function getNum($escaped = false) { if ($escaped) { return preg_replace('/[\\/\\,\\+&]/', ';', parent::getNum()); } else { return parent::getNum(); } }