$header_start(title=title)$
$header_end()$

$!
Local Variables:
  mode: html
  coding: utf-8
End:
!$