HASH(0x7f5cb70ae4d8)