m@main=do x<-getLine;print$0+read("0x"++filter(/=':')x);m