HASH(0x5723fc7ddeb8)