<?php
while($s=fgets(STDIN))echo str_replace(array(0,1,2,3,4,5,6,7,8,9), array('','1','22','333','4444','55555','666666','7777777','88888888','999999999'), $s);
Note that non-ascii characters in the above source code will be escaped (such as \x9f).