HASH(0x7f5ce066df40)