public String fetchString() throws InputMismatchException {
		if(!hasStringArg()) 
			throw new InputMismatchException("There are no string arguments to fetch from.");
		else {
			String s = pop();
			return s.substring(1, s.length() - 1);
		}
	}