HASH(0x7feded7c6bd0)