$ cat dater
#! /usr/bin/ksh
set -A months junk Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
mthKey0=07
trxDay=20

mth=${mthKey0#0}
echo ${months[mth]}${trxDay}
$ ./dater
Jul20
$