HASH(0x7fede2651520)