0x3ffbf87d