title: How to ping multiple servers and return their IPs
body: <p>I have a txt file which contains a list of different server names (one server name per line).</p>
  
  <p>I am wonrdering if I can write a script to ping all the servers and output the IP addresses to a text file.</p>
  
  <p>Any hints would be greatly appreciated.</p>