HASH(0x7fedde64cdf0)