HASH(0x7d3ec25c95e8)