소수 번호판

메러디스가 새 차를 사서 번호판이 필요해졌다. 펜실베이니아 번호판은 대문자 세 글자 뒤에 네 자리 수가 오는 형식이다. 번호판은 사전순으로 발급된다. 가장 먼저 AAA 0000이 나가고 그다음이 AAA 0001, AAA 0002 순이다. AAA 9999 다음은 AAB 0000이고, AZZ 9999 다음은 BAA 0000이다. 마지막 번호판은 ZZZ 9999다.

대부분은 아무 번호판이나 받지만 메러디스는 그렇지 않다. 번호판의 네 자리 수가 소수여야 한다고 고집한다. 소수는 1보다 크고 약수가 1과 자기 자신뿐인 수다. 작은 쪽부터 적으면 2, 3, 5, 7, 11, 13, 17, 19, 23, ...이다.

메러디스가 차량국에 갔을 때 다음 발급 번호판이 JPB 1285라면 JPB 1289가 나올 때까지 기다린다. 1285 이상인 소수 중 가장 작은 수가 1289이기 때문이다. 다음 발급 번호판이 JPB 9999였다면 JPC 0002를 기다린다.

시작 번호판이 주어진다. 사전순으로 그 번호판과 같거나 그보다 뒤에 있으면서 네 자리 수가 소수인 첫 번째 번호판을 구하라.

덧붙이면, 2016년 1월에 발견된 소수 $2^{74207281} - 1$은 자릿수가 22,338,618개다. 번호판에 적기에는 너무 크다.

입력은 여러 개의 테스트 케이스로 이루어지고, 각 줄에 테스트 케이스가 하나씩 주어진다. 각 줄에는 대문자 세 글자로 이루어진 문자열과 네 자리 수가 공백 하나를 사이에 두고 주어진다. 문자열은 ZZZ가 아니다. 수는 0000부터 9999까지이며 앞을 0으로 채워 항상 네 자리로 적혀 있다.

END 0000인 줄이 나오면 입력이 끝난다. 이 줄은 테스트 케이스가 아니다. 문자열이 END이면서 수가 0000이 아닌 줄은 보통의 테스트 케이스다.

각 테스트 케이스마다 메러디스가 받아들이는 번호판을 한 줄에 하나씩 출력한다. 대문자 세 글자, 공백 하나, 네 자리 수 순서로 출력하고, 수는 앞을 0으로 채워 항상 네 자리로 쓴다.