Trong thư viện có 1800 cuốn sách, trong đó số sách giáo khoa nhiều hơn số sách học thêm 1000 cuốn. Hỏi trong thư viện có bao nhiêu sách giáo khoa?