0x3ffc71f4