HASH(0x7d3eb8d03d20)