768
768
if self.titles[pntt] > 1:
769
769
unique_id = '-%d' % self.titles[pntt]
771
result += self.formatter.heading(1, depth, id="head-"+hash_new('sha1', pntt.encode(config.charset)).hexdigest()+unique_id)
771
result += self.formatter.heading(1, depth, id="head-"+sha.new(pntt.encode(config.charset)).hexdigest()+unique_id)
773
773
return (result + self.formatter.text(title_text) +
774
774
self.formatter.heading(0, depth))