import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.*;
 
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Pattern pattern = Pattern.compile("^\\s*(?:\\+?(\\d{1,3}))?[-. (]*(\\d{3})[-. )]*(\\d{3})[-. ]*(\\d{4})(?: ?x(\\d+))?\\s*$");
		BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
		String s;
        while ((s = in.readLine()) != null && s.length() != 0) {
            System.out.print("'" + s + "'\t");
        	if (pattern.matcher(s).find()) {
        		System.out.println("MATCHES");
        	} else {
        		System.out.println("DOES NOT MATCH");
        	}
        }
	}
}

aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlQYXR0ZXJuIHBhdHRlcm4gPSBQYXR0ZXJuLmNvbXBpbGUoIl5cXHMqKD86XFwrPyhcXGR7MSwzfSkpP1stLiAoXSooXFxkezN9KVstLiApXSooXFxkezN9KVstLiBdKihcXGR7NH0pKD86ID94KFxcZCspKT9cXHMqJCIpOwoJCUJ1ZmZlcmVkUmVhZGVyIGluID0gbmV3IEJ1ZmZlcmVkUmVhZGVyKG5ldyBJbnB1dFN0cmVhbVJlYWRlcihTeXN0ZW0uaW4pKTsKCQlTdHJpbmcgczsKICAgICAgICB3aGlsZSAoKHMgPSBpbi5yZWFkTGluZSgpKSAhPSBudWxsICYmIHMubGVuZ3RoKCkgIT0gMCkgewogICAgICAgICAgICBTeXN0ZW0ub3V0LnByaW50KCInIiArIHMgKyAiJ1x0Iik7CiAgICAgICAgCWlmIChwYXR0ZXJuLm1hdGNoZXIocykuZmluZCgpKSB7CiAgICAgICAgCQlTeXN0ZW0ub3V0LnByaW50bG4oIk1BVENIRVMiKTsKICAgICAgICAJfSBlbHNlIHsKICAgICAgICAJCVN5c3RlbS5vdXQucHJpbnRsbigiRE9FUyBOT1QgTUFUQ0giKTsKICAgICAgICAJfQogICAgICAgIH0KCX0KfQ==

MTgwMDU1NTEyMzQKMSA4MDAgNTU1IDEyMzQKKzEgODAwIDU1NS0xMjM0Cis4NiA4MDAgNTU1IDEyMzQKMS04MDAtNTU1LTEyMzQKMSAoODAwKSA1NTUtMTIzNAooODAwKTU1NS0xMjM0Cig4MDApIDU1NS0xMjM0Cig4MDApNTU1MTIzNAo4MDAtNTU1LTEyMzQKODAwLjU1NS4xMjM0CjgwMCA1NTUgMTIzNHg1Njc4CjgwMDU1NTEyMzQgeDU2NzgKMSA4MDAgNTU1LTEyMzQKMS0tLS04MDAtLS0tNTU1LTEyMzQ=

18005551234
1 800 555 1234
+1 800 555-1234
+86 800 555 1234
1-800-555-1234
1 (800) 555-1234
(800)555-1234
(800) 555-1234
(800)5551234
800-555-1234
800.555.1234
800 555 1234x5678
8005551234 x5678
1 800 555-1234
1----800----555-1234