Gerador e Validador de Número no padrão de Processo Judicial

Validar se o número do Processo Judicial tem a formatação correta
Gerar um número de processo aleatório no formato padrão