HASH(0x76107fa12bc8)