When should I change guitar strings?

So I have been using Gibson brute wires light gauge. They are currently on the guitar. The three highest strings are very discolored at the 11,12,13 frets. Should I change them or leave? I do play a lot.