0x42ef7