HASH(0x7f5cf42ff2a0)