HASH(0x7fedd6589028)