HASH(0x7f5cb82aef78)