0x3ffba7a7