HASH(0x7d3e954c31d0)