public function post_code() { $a = parent::random(self::$_uk_postcode_formats); $result = parent::bothify($a); return strtoupper($result); }