<? function title($title=NULL) { global $set; if ($set['web']==false) { if ($title==NULL)$title=$set['title']; echo "<dl><dt>$title</dt></dl>n"; } } ?>