# Print out the HTML results.                  
    &site_html_search_results;
}