My Django 3.1 app keeps a user identity card info like this: XA12345678 (XA is a series of a user identity card and 12345678 - its 8-digit number). But in a form, I want use