{
{    The purpose of this request is to determine the attribute name of an
{  attribute based on its key (index).  If the key of the attribute is
{  unknown the name 'UNKNOWN' is returned.
{
{        JMP$GET_ATTRIBUTE_NAME (ATTRIBUTE_INDEX, ATTRIBUTE_NAME);
{
{ ATTRIBUTE_INDEX: (input) This is the key (index) of the attribute being
{        queried.
{
{ ATTRIBUTE_NAME: (output) This is the name of the requested attribute.
