HASH(0x7d3eb8cd95f0)