private String escape(String s) {
		if (s.indexOf('\\') < 0) {
			return s;
		}
		StringBuffer buff = new StringBuffer();
		for (int i = 0; i < s.length(); i++) {
			char ch = s.charAt(i);
			if (ch == '\\') {
				ch = s.charAt(++i);
			}
			buff.append(ch);
		}
		return buff.toString();
	}