HASH(0x7d3eb94a8b38)