>>> import socket >>> res = socket.gethostbyaddr( '131.169.38.134') >>> res ('haspts04.desy.de', [], ['131.169.38.134']) >>> res[0] 'haspts04.desy.de'
