HASH(0x7fedee613bc8)