Faulty Odometer

A car's odometer displays the number of miles traveled as an integer. This odometer has a defect: when counting, it always skips the digit 4, jumping straight from 3 to 5. The defect appears in every position (the ones, the tens, the hundreds, and so on). For example, if the odometer shows 15339 and the car travels one more mile, the reading changes to 15350 instead of 15340.

Each line of input contains a single positive integer between 1 and 999999999 that represents an odometer reading. (Readings never have leading zeros.) The end of input is marked by a line containing a single 0. You may assume that no odometer reading contains the digit 4.

For each line of input, print exactly one line containing, in order: the odometer reading from the input, a colon, a single space, and the actual number of miles the car has traveled.