Problema G: Validar códigos de livros

O João voluntariou-se para ajudar na biblioteca da escola, que está a fazer um levantamento de todos os seus livros. A tarefa do João consiste em registar os livros existentes usando o código ISBN13 de cada livro.

O código ISBN13 é um código internacional que permite a identificação de livros, existindo um único código para cada edição e variação de um livro. É um código numérico constituído por 13 dígitos, em que o dígito mais à direita é o dígito de controlo/verificação de erro, sendo o seu valor calculado a partir dos outros 12 dígitos.

O valor do dígito de controlo é calculado seguindo os seguintes passos:

1. Cada um dos primeiros 12 dígitos (1 a 12) é multiplicado por 1 e por 3 alternadamente, ou seja, os dígitos das posições ímpares são multiplicados por 1 e os das posições pares por 3; esses produtos são todos somados;
2. Calcula-se o resto da divisão inteira da soma (obtida no passo 1) por 10;
3. Subtrai-se a 10 o valor do resto da divisão (obtido no passo 2); o resultado desta subtração é um número inteiro entre 1 e 10;
4. O dígito de controlo é 0, se o valor obtido no passo 3 for 10; no caso contrário, é o resultado da subtração.

Tarefa

Input

Output

Exemplo 1

Input

9780136091813

Output

OK

Exemplo 2

Input

9780136091817

Output

ERRO 3

Exemplo 3

Input

9789896262180

Output

ERRO 1