HASH(0x7fede8023d08)