anchor.diff:  	out.println(pagination.printCounter());
   	out.println(resource.getString("pdcPeas.ManyResultPages"));
   	if (query != null && query.length() > 0)
  -		out.println(" "+resource.getString("pdcPeas.ForYourQuery")+query);
  +		out.println(" <span id=\"globalResultForYourQuery\">" + resource.getString("pdcPeas.ForYourQuery") + query + "</div>");
   	out.println("</td>");
   	out.println("</tr>");
   	//out.println("<tr><td>&nbsp;</td></tr>");
  
positive.code: 				out.println("<a href=\""+sDownloadURL+"\" target=\"_blank\">"+downloadSrc+"</a>");
  			}
  			if (sCreatorName != null && sCreatorName.length()>0)
  				out.println(" - "+Encode.javaStringToHtmlString(sCreatorName));
  			if (sCreationDate != null && sCreationDate.length()>0)
  				out.print(" ("+sCreationDate + ")");
  							
  
negative.code: 			}
  			
  			if (sLocation != null && sLocation.length()>0)
  				out.println("<BR>"+EncodeHelper.javaStringToHtmlString(sLocation));
  			out.println("<td>");
  				
  			out.println("</tr></table>");
  