Nome de usuário

Nomes de usuário legais no estilo dos anos 2000 usam palavras imaginativas, anos de nascimento e letras extras.

A idéia era mostrar sua rebeldia, ousadia e o quão descolado a gente poderia ser.

Para isso a gente misturava palavras do nosso agrado, com referências à músicas, artistas, nomes de personagens e termos em outros idiomas. Trocadilhos eram bem-vindos, principalmente se eram engraçados.

Para um amante de senhor dos anéis, uma idéia seria usar o nome do personagem Aragorn e brincar com a palavra.

Por exemplo, trocar ‘A’ por ‘4’, ‘O’ por ‘0’ e assim ter 4r4g0rn. Ficou legal? Não, mas aí já é outra história…

Crie novos nomes de usuários legais à partir de valores de entrada. Siga as regras:

1. Troque todas as ocorrências de ‘A’ ou ‘a’ para ‘4’.
2. Troque todas as ocorrências de ‘O’ ou ‘o’ para ‘0’.
3. Troque todas as ocorrências de ‘E’ ou ‘e’ para ‘3’.
4. Troque todas as ocorrências de ‘S’ ou ‘s’ para ‘$’.

Além da preocupação com o estilo, o tamanho também é importante. Você deve rejeitar nomes de usuário que não tiverem de $4$ a $20$ caracteres.

Entrada

Em cada caso de teste, a entrada consiste em um único nome de usuário $S$ em formato de texto. $S$ é uma cadeia de caracteres formada apenas por letras minúsculas e/ou maiúsculas de a/A a z/Z, com $1 \leq |S| \leq 30$.

Saída

Se o nome de usuário da entrada não respeitar o limite de tamanho (entre $4$ e $20$), imprima: “$S$ com tamanho incorreto: $|S|$” (sendo $S$ a cadeia de entrada e $|S|$ o seu tamanho). Caso respeite, imprima, em uma única linha, a sugestão de nome de usuário legal.

Aragorn

4r4g0rn

Gandalf

G4nd4lf

Gimli

Gimli

abc

abc com tamanho incorreto: 3