HASH(0x7d3ec25da8d8)