고장 난 주행 거리계

자동차의 주행 거리계(odometer)는 지금까지 달린 거리를 정수로 표시합니다. 그런데 이 주행 거리계에는 결함이 있습니다. 수를 셀 때 항상 숫자 4를 건너뛰어, 3 다음에 곧바로 5로 넘어갑니다. 이 결함은 모든 자리(일의 자리, 십의 자리, 백의 자리 등)에서 똑같이 나타납니다. 예를 들어 주행 거리계가 15339를 표시하고 있을 때 자동차가 1마일을 더 달리면, 표시값은 15340이 아니라 15350으로 바뀝니다.

입력의 각 줄에는 주행 거리계의 표시값을 나타내는 1 이상 999999999 이하의 양의 정수가 하나씩 주어집니다. (표시값에 앞자리 0이 붙는 경우는 없습니다.) 입력의 끝은 0 하나만 있는 줄로 표시됩니다. 어떤 표시값에도 숫자 4는 나타나지 않는다고 가정해도 됩니다.

입력의 각 줄마다 정확히 한 줄을 출력합니다. 각 줄에는 입력으로 주어진 표시값, 콜론(:), 공백 한 칸, 그리고 자동차가 실제로 달린 거리를 순서대로 출력합니다.