return "'" + ch + "'[0]";
return "?" + ch;
	private static String Ch(char ch) {		if (ch<' ' || ch>=127 || ch=='\'' || ch=='\\')		    return String.valueOf((int)ch);		else		    return "'" + ch + "'[0]";	}