anchor.diff:          } else {
               String usersearch = request.getParameter("usersearch");
               Document search_dom = DOM.stringToDOM(xml_search_result);
  -            searchTiming = DOM.selectString(search_dom,
  -                        "/responsecollection/@timing", "N/A");
  +            searchTiming = DOM.selectString(search_dom, "/responsecollection/@timing", "N/A");
               if (usersearch != null && "true".equals(usersearch)) {
                   // this search comes from the form, ie. it is submitted by a user
                   // so we extract the hitCount and submit it to the Suggestions index
  
positive.code:             search_prop.put("current_page", current_page);
  
              try {
                  search_html = XSLT.transform(
                          search_xslt, xml_search_result, search_prop, true);
              } catch (TransformerException e) {
                  search_html = "Transformer exception: " + e.getMessage();
              }
  
negative.code:             facet_html = "Error faceting query";
          } else {
              Document facet_dom = DOM.stringToDOM(xml_facet_result);
              facetTiming = DOM.selectString(facet_dom, "/responsecollection/@timing", "N/A");
              facetXSLT = -System.currentTimeMillis();
              URL facet_xslt = new File(basepath + "xslt/facet_overview.xsl").toURI().toURL();
  
              Properties facet_prop = new Properties();
              facet_prop.put("filter", filter == null ? "" : "(" + filter + ") ");
  