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