HASH(0x7fede2605da8)