for(s in scan("stdin","",,,";"))write(chartr("0-9",paste(s,s),sub(".+:","",s)),1)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page