HASH(0x7fedfc58ea98)