HASH(0x7fedee57b6a0)