def inject_id(m):
     header_id = uslugify(m.group('text'), '-')
     if header_id == '':
         return m.group(0)
     # Append a dash and number for uniqueness if needed
     value = unique.get(header_id, None)
     if value is None:
         unique[header_id] = 1
     else:
         unique[header_id] += 1
         header_id += "-%d" % value
     return m.group('open')[:-1] + (' id="%s">' % header_id) + m.group('text') + m.group('close')
 def inject_id(m):
     id = uslugify(m.group('text'), '-')
     if id == '':
         return m.group(0)
     # Append a dash and number for uniqueness if needed
     value = unique.get(id, None)
     if value is None:
         unique[id] = 1
     else:
         unique[id] += 1
         id += "-%d" % value
     return m.group('open')[:-1] + (' id="%s">' % id) + m.group('text') + m.group('close')