HASH(0x7fede2661530)