Use the following and replace the domain name with your choice.
for i in {1..5}; do host="ns${i}.he.net"; echo -n "${host}: "; dig +short ${host}; done
Use the following and replace the domain name with your choice.
for i in {1..5}; do host="ns${i}.he.net"; echo -n "${host}: "; dig +short ${host}; done