0x3fef562b