HASH(0x7f5cf42603c0)