0x3ff7e37d