HASH(0x7fedc254e598)