HASH(0x7fede403c070)