HASH(0x7fee2cf7fd78)