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

(D=$1;echo $[0x$D])
