#!/bin/sh
#
# hex to IP converter
# based on convert-to-hex
#

ADDR=`echo $1 | \
awk 'BEGIN {  OFS="."; print "16 i"; } { \
	print $1; \
	print "d 1000000 / p 1000000 * -"; \
	print "d 10000 / p 10000 * -"; \
	print "d 100 / p 100 * -"; \
	print "p"; }' | \
dc`
ADDR=`echo $ADDR | sed 's; ;.;g'`
#NAME=`host $ADDR | grep "^Name:" | sed 's;Name: ;;'`
NAME=`host $ADDR | egrep "^Name:|domain name pointer" | sed 's;.* ;;'`
echo "$ADDR ($NAME)"