0x3fef08ec