static public String toEscapeString(String original)
	{
		String result = "";

		for(int i=0; i < original.length(); i++)
		{
			switch(original.charAt(i))
			{
				case '\b':
					result += "\\b";break;
				case '\t':
					result += "\\t";break;
				case '\n':
					result += "\\n";break;
				case '\f':
					result += "\\f";break;
				case '\r':
					result += "\\r";break;
				case '\"':
					result += "\\\"";break;
				case '\'':
					result += "\\\'";break;
				case '\\':
					result += "\\\\";break;
				default:
					result += original.charAt(i);
			}
		}

		return result;
	}