code: def get_element_name(parent, ns):
      # type: (_Element, str) -> str
      
      name = parent.find('./' + ns + 'SHORT-NAME')
      if name is not None and name.text is not None:
          return name.text
      return ""
docs: Get element short name.