The universal hash function used by and .