Added hashCode to Counter