HASH(0x7fedee640c18)