public String searchToString()
	  {
	    String res = "";
	    for (int i = 0; i < searchDetails.size(); i++) 
	    {
	      res += searchDetails.get(i).toString() + "\n";
	    }
	    return res;
	  }