HASH(0x7fede6680f10)