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

while [ "X$1" != X ]; 
do
	echo "$1" | awk 'BEGIN {
		letters="0123456789ABCDEF";
		for (i=0; i<=15; i++) {
			for (j=0; j<=15; j++) {
				n[(i*16)+j]=substr(letters,i+1,1)""substr(letters,j+1,1);
			}
		}
	}

    {
		printf ("%s : 0x%s\n", $1, n[$1+0])
	}'
	shift
done