HASH(0x7c4d5813fc40)