function hexFormat($o)
        {
#-k     string
#-      Convert a dec to a hex with an even-number of digits
        $h = strtoupper(dechex($o));
        $len = strlen($h);
        if ($len % 2 == 1)
                $h = "0$h";
        return $h;
        }

?>