hashCode() { return(key.hashCode()); }
public int hashCode() {  long h = originalText.hashCode(); for (int i = key.length - 1; i >= 0; --i) h ^= key[i] * (i + 1); return (int) ((h >> 32) ^ h); }
hashCode(){  return(key.hashCode());}