HASH(0x7fede2679e80)