HASH(0x7f5ce080a720)