HASH(0x7d3eb8d25fd0)