0x3fd80f7b