#!/bin/sh
#	Deliver the IP addresses of the args.
#	See also the 'ipadr' command, which is a similar compiled program.
#
for h 
do	sed -e 's/#.*//' </etc/hosts \
	| grep -i "\<$h\>" \
	| sed -e 's/[ 	][ 	]*.*//'
done