foreach l [read stdin] {puts [string trim 0123456789 $l]}