0x3fde0f32