modify echonumber.c 's output format