HASH(0x7fede25741a0)