0x3ffd3d31