문제

xkcd.com의 랜달 먼로는 9가 전자레인지에서 가장 많이 눌리는 번호 키임을 알아냈습니다. 그의 일을 도와줍시다.

권장 조리 시간이 주어질 때, 권장 조리 시간과의 오차가 10% 미만인 값 중 9가 가장 많이 들어가는 시간을 찾읍시다. 달리 말해 T가 초로 나타낸 권장 조리 시간이고 T9가 정답에서 나타내는 시간이라면 10|T - T9| < T입니다. 답이 여러 가지라면, 오차가 (크기 상) 가장 작은 것을 선택합시다. 그럼에도 값이 여러 개라면, 사전 순으로 가장 작은 값을 선택합시다.

예를 들어 T = 01:15일 경우, 00:68-00:82와 1:08-1:22는 10% 미만의 오차를 지닙니다. 이 중 00:69, 00:79, 01:09, 01:19에 9가 가장 많으며, 오차가 가장 작은 값은 00:79와 01:19입니다. 사전 순으로 더 작은 값은 00:79입니다.

입력

여러 테스트 케이스가 주어집니다. 각 테스트 케이스에 대해 권장 조리 시간이 MM:SS 형식으로 한 줄에 주어집니다. 각 M과 S 한 자리는 0에서 9 사이입니다. 00:00이 입력의 종료를 나타냅니다.

출력

각 테스트 케이스에 대해, 전자레인지에 입력할 네 자리 키를 MM:SS 형식으로 한 줄에 출력합니다.