#!/bin/sh
# @(#) Revision 1.1 - 06/06/96
# hex2dec

while [ "X$1" != X ] 
do
	echo "$1" | awk 'BEGIN {
		uLetters="0123456789ABCDEF";
		lLetters="0123456789abcdef";
	}

	{
		decString="";
		decNum=0;
		mult=1;
		for (j=length($1); j>=1; j--) {
			c=substr($1,j,1);
			n=index(uLetters,c);
			if (n==0) n=index(lLetters,c)
			if (n!=0) n--
			decNum=decNum+(mult*n);
			if (mult==1) {
				mult=16
			} else {
				mult=1
				decString=sprintf("%d",decNum)
				decNum=0
			}
		}
		printf ("0x%s : %s\n", $1, decString);
	}'

	shift
done