from __future__ import division def html_head_title(title): return '''\ %s ''' % title