Elaborou-se um formulário na linguagem HTML5, e um dos campos que deve ser preenchido é o Código de Endereçamento Postal (CEP). Foram introduzidas linhas no código com o intuito de validar o CEP, que deve corresponder a números com o formato nnnnn-nnn, em que n são números de 0 a 9. A seguir são apresentadas algumas dessas linhas
<label for="CEP">CEP: <input name="CEP" id="CEP" required __________ =”\d{5}-?\d{3}"/> </label>
O atributo que deve ser colocado na lacuna, após required, para que a validação possa ocorrer é