HASH(0x76107c0c31b8)