HASH(0x7f5cedf67f78)