function do_html_header($title) { // print an HTML header ?> <?php echo $title;?> PHPbookmark logo

 PHPbookmark