HASH(0x7f5c983d6e78)