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