HASH(0x7fede6574a30)