Trouble with getting remote Computer Name

[Matthias Janes]

Hi all.

I'm working on a small app for Win NT - to change automaticly user
names on about 70 different Win NT Server each one in a different
Domain.
I'm nearly finished just having I thing one probleme still to be
solved.

As I'm new to python I would appriciate some help.

My Problem:

I have the IP address of all the Servers in a VPN for instance
(10.251.23.6,10.251.24.6, 10.251.25.6 and so on)

How can I get from each Server the Name of the Server in python.

I was thinking of one way: maybe a "ping -a 10.251.23.6" and with
popen somehow to read the name - but there must be an easier way I'm
just not aware of it.

Any Help would be real greate.

Matthias Janes