0x3fe87bbe