-sub finish_subsubsections \7fmain::finish_subsubsections\ 1302,7805
-sub finish_subsections \7fmain::finish_subsections\ 1309,7987
-sub finish_sections \7fmain::finish_sections\ 1320,8310
-sub finish_appendices \7fmain::finish_appendices\ 1331,8599
-sub section_url_base \7fmain::section_url_base\ 1337,8724
-sub section_url_name \7fmain::section_url_name\ 1342,8922
-sub section_url \7fmain::section_url\ 1355,9284
+sub finish_subsubsections \7f302,7805
+sub finish_subsections \7f309,7987
+sub finish_sections \7f320,8310
+sub finish_appendices \7f331,8599
+sub section_url_base \7f337,8724
+sub section_url_name \7f342,8922
+sub section_url \7f355,9284