HASH(0x7f7a71d3f4b8)