HASH(0x7c4da8071ad8)