HASH(0x7f5cf42ba6d0)