‫اعتبارسنجی کد پستی با regx Pattern مخصوص کشور ایران

 [Display(Name = "کد پستی")]    
[DataType(DataType.PostalCode)]
        [RegularExpression(pattern: @"\b(?!(\d)\1{3})[13-9]{4}[1346-9][013-9]{5}\b"),ErrorMessage ="کد پستی شما نادرست می‌باشد"]
        public string PostalCode { get; set; }