return Math.abs((new Double(value)).hashCode());
return Math.abs((new Double(value)).hashCode() + annos.hashCode());
  static int hashFunction(double value)  {    return Math.abs((new Double(value)).hashCode());  }