HASH(0x7fede2600b08)