m@main=do x<-getLine;print$0+read[c|c<-"0x"++x,c/=':'];m