#NEWLINE# def print_title( file , title_string , under_char , over_char = '' ) : #NEWLINE# #INDENT# l = len ( title_string ) #NEWLINE# if over_char : #NEWLINE# #INDENT# ( ( print >> file ) , ( over_char * l ) ) #NEWLINE# #UNINDENT# ( ( print >> file ) , title_string ) #NEWLINE# if under_char : #NEWLINE# #INDENT# ( ( print >> file ) , ( under_char * l ) ) #NEWLINE# #UNINDENT# ( ( print >> file ) , '' )