code: private static String replaceChars(String e, String chars1, String chars2) {
  		assert chars1.length() == chars2.length();
  		
  		String[] parts = e.split(",");
  		for (int i = 0; i < parts.length; ++i) {
  			String[] elems = parts[i].split("/");
  			for (int j = 0; j < chars1.length(); ++j) {
  				elems[0] = elems[0].replace(chars1.charAt(j), chars2.charAt(j));
  			}
  			parts[i] = concat('/', elems);
  		}
  		return concat(',', parts);
  	}
docs: Replaces in first argument string all the characters of the second argument string
  to the characters of the third argument string. Actually the source string
  is divided into "parts", and replacing takes place in every part before a slash
  symbol (if exists), but not after it.
  
  @param e			Source string
  @param chars1	Characters to replace
  @param chars2	Characters to insert
  @return 			String with replacements made.