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