<?
echo "<title>$title</title>\n";
?>
