HASH(0x7fedf66547c0)