874: #line 1156 "input_frame.ipk" 875: def do_html(self,match,file,count,dict): 876: self.html_parser.writeline(match.group(1),file,count) 877: