code: public String makeReplayURI(String datespec, String url) {
  		StringBuilder sb = null;
  
  		if(replayURIPrefix == null) {
  			sb = new StringBuilder(url.length() + datespec.length());
  			sb.append(datespec);
  			sb.append("/");
  			sb.append(UrlOperations.stripDefaultPortFromUrl(url));
  			return sb.toString();
  		}
  		if(url.startsWith(replayURIPrefix)) {
  			return url;
  		}
  		sb = new StringBuilder(url.length() + datespec.length());
  		sb.append(replayURIPrefix);
  		sb.append(datespec);
  		sb.append("/");
  		sb.append(UrlOperations.stripDefaultPortFromUrl(url));
  		return sb.toString();
  	}
docs: /* (non-Javadoc)
  @see org.archive.wayback.ResultURIConverter#makeReplayURI(java.lang.String, java.lang.String)