HASH(0x7fede6650f38)