# Transforming a list of 100 web names, to a list of web names with IPs.
set infile=$1
set outfile=$2
sed -e 's/^/nslookup /' $infile > t
csh t > t1
awk '($1!~"Server:"){print;}' t1 > t2 
awk '($2!~"192.150.187.14"){print;}' t2 | sed -e s/es:/:/ -e s/,// > t3
awk '{if($1~"Name:"){name=$2};if ($1~"Address:"){print name, $2;}}' t3>$outfile