#include <iostream>
#include <string>
#include <cctype>
using namespace std;

int main() {
	for (string str ; getline(cin, str) ; ) {
		bool found = false;
		size_t pos = 0;
		while (!found && (pos = str.find('%', pos)) != string::npos) {
			if (++pos == str.size()) {
				found = true;
				break;
			}
			if (str[pos] == '.') {
    			if (++pos == str.size()) {
    				found = true;
	    			break;
		    	}
		    	if (!isdigit(str[pos])) {
    				found = true;
	    			break;
		    	}
			}
			while (isdigit(str[pos])) {
    			if (++pos == str.size()) {
    				found = true;
	    			break;
		    	}				
			}
			found |= !isalpha(str[pos]);
		}
		cout << '"' << str << '"' << " : " << found << endl;
	}
	return 0;
}