0x3fef0727