Em uma prefeitura, cada funcionário está cadastrado com um número composto por 6 dígitos (ABCDEF) e um dígito verificador (X), ou seja, o número do cadastro de um funcionário aparece no seu crachá como ABCDEF–X. O dígito verificador é obtido fazendo-se a soma A + B + C + D + E + F e dividindo essa soma por 8. Assim, se o funcionário tem como número de cadastro o número 378545, o número do seu crachá com o dígito verificador será: