private String Trans2Syn(String s)
	{
		Stack<Character> ts = new Stack<Character>();
		for (int i = 0; i < s.length(); ++i)
		{
			if (Character.isDigit(s.charAt(i)))
			{
				if (ts.size() == 0 || !ts.peek().equals('i'))
				{
					ts.push('i');
				}
			} else
			{
				ts.push(s.charAt(i));
			}
		}
		String tmp = "";
		for (int i = 0; i < ts.size(); i++)
		{
			tmp += ts.elementAt(i);
		}
		return tmp;
	}