docs: def htmIndex(ra,dec,htm_level=3):
      """Compute htm index of htm_level at position ra,dec"""
      import re
      if os.uname()[0] == "Linux": javabin = '/opt/java2/bin/java '
      htm_level = htm_level
      verc_htm_cmd = javabin+'-classpath /usr/cadc/misc/htm/htmIndex.jar edu.jhu.htm.app.lookup %s %s %s' % (htm_level, ra, dec)
  
      for result in os.popen( verc_htm_cmd ).readlines():
          result = result[:-1]
          if re.search("ID/Name cc", result):
              (void, coord ) = result.split("=")
              (void, junk, htm_index) = coord.split(" ")
              return htm_index