static String? provinceCodeOf(String? code) { if (codeType(code) != UCodeType.city) return null; return "001${code!.substring(0, 3).padLeft(4, "0")}"; }