HASH(0x7fede667e990)