HASH(0x7d3eb8d2bd30)