Michael canned 4,713 quarts of blueberries over the summer. By the end of the year he had used 1/3 of what he had canned. How many quarts of blueberries had he used?