<?php
    global $CTABNAME;

    require_once 'dbtools.php';
    
    include 'header.php';
    
    if (isset($_SERVER['PHP_AUTH_USER'])) {
	
	$CTABNAME = "search";
    
	include 'topmenu.php';
	
	readconfig();
	db_connect();
	
	include 'searchbody.php';
	
    } else {
	include 'error.php';
    };
    
    include 'footer.php';
?>
