0x3fe88bf5