http://dbpedia.org/resource/Java_hashCode() Java hashCode()