HASH(0x7d3ec25f1fe0)