Hỏi có tất cả bao nhiêu giá trị m nguyên trên đoạn − 2017 ; 2017  để phương trình   x 2 − 1 log 2 x 2 + 1 − m 2 x 2 − 1 . log x 2 + 1 + m + 4 = 0  có đúng hai nghiệm x 1 , x 2  thỏa mãn 1 ≤ x 1 ≤ x 2 ≤ 3  

A. 4017

B. 4028

C. 4012

D. 4003.