0x3fe88a2d