search.php may not be bug free
search.php and server.php may not be bug free