HASH(0x7fedd80185e8)