HASH(0x7fedc263b060)