#!/bin/sh
# dec2hex --  decimal to hex conversion.
#

(D=$1;echo `echo $D|awk '{printf("%x\n",$1)}'`)
