HASH(0x7d3e7c9c58d0)