HASH(0x7f5cfab20e78)