HASH(0x7d3eb93f86c0)