HASH(0x7fede26dbc40)