public String toString()
	{
		String rv = "",baseS;
		baseS = base.toString();
		if(baseS.length() > 1 && baseS.charAt(0) != '[') rv += '(';
		rv += baseS;
		if(baseS.length() > 1 && baseS.charAt(0) != '[') rv += ')';
		rv += '*';
		return rv;
	}