public static char getRepresentedCharacter(String quoted)
	{
		if(quoted.equals("\\n")) return '\n';
		else if(quoted.equals("\\r")) return '\r';
		else if(quoted.equals("\\t")) return '\t';
		else if(quoted.equals("\\s")) return ' ';
		else /*if(quoted.equals("\\+") ||
				quoted.equals("\\*") ||
				quoted.equals("\\?") ||
				quoted.equals("\\|") ||
				quoted.equals("\\-") ||
				quoted.equals("\\^") ||
				quoted.equals("\\[") ||
				quoted.equals("\\]") ||
				quoted.equals("\\(") ||
				quoted.equals("\\)") ||
				quoted.equals("\\.") ||
				quoted.equals("\\:") ||
				quoted.equals("\\\"") ||
				quoted.equals("\\\\"))*/ return quoted.charAt(1);
	}