HASH(0x7d3eb8cdad78)