Search Results\n"; if ($result and !mysql_num_rows($result)) { echo "

No articles found that match the search terms.

\n"; } else { while ($row = mysql_fetch_array($result)) { outputStory($row['article_id'],TRUE); } } require_once 'footer.php'; ?>