0x3fd80e6f