Getter and setters for nextID