Ile jest liczb naturalnych 4cyfrowych nie większych od 2023 podzielnych przez 7