HASH(0x7d3ec25cda48)