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