for(;;)print("0x"+readline().replace(/:/g,'')-0)