HASH(0x7fede007e790)