HASH(0x7fede2640b08)