HASH(0x7fd673bf2d78)