Thanks a lot for your replies, people.

I tend to think that we don't have 2 machines with the same IP numbers, as everything else on the network works fine. ...