HASH(0x7d3ec25cae50)