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