tokens: Los códigos postales portugueses de los Correios de Portugal constan de 7 dígitos en 2 grupos , siendo el primero de 4 dígitos y el segundo de 3 , separados por una raya y seguidos de una designación postal de 25 caracteres como máximo .