for(s in scan("stdin","",,,";"))write(chartr("0-9",paste(s,s),sub(".+:","",s)),1)