/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.Pattern;
import java.util.regex.Matcher;
 
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		String phoneNo = "+ 01 917 12312 34";
        String patternString = "\\+{0,1}\\d{12}";
 
        Pattern pattern = Pattern.compile(patternString);
 
        Matcher matcher = pattern.matcher(phoneNo.replaceAll("\\s+",""));
        boolean isValid = matcher.matches();
        System.out.println(isValid);
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguUGF0dGVybjsKaW1wb3J0IGphdmEudXRpbC5yZWdleC5NYXRjaGVyOwoKCi8qIE5hbWUgb2YgdGhlIGNsYXNzIGhhcyB0byBiZSAiTWFpbiIgb25seSBpZiB0aGUgY2xhc3MgaXMgcHVibGljLiAqLwpjbGFzcyBJZGVvbmUKewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uCgl7CgkJU3RyaW5nIHBob25lTm8gPSAiKyAwMSA5MTcgMTIzMTIgMzQiOwogICAgICAgIFN0cmluZyBwYXR0ZXJuU3RyaW5nID0gIlxcK3swLDF9XFxkezEyfSI7CgogICAgICAgIFBhdHRlcm4gcGF0dGVybiA9IFBhdHRlcm4uY29tcGlsZShwYXR0ZXJuU3RyaW5nKTsKCiAgICAgICAgTWF0Y2hlciBtYXRjaGVyID0gcGF0dGVybi5tYXRjaGVyKHBob25lTm8ucmVwbGFjZUFsbCgiXFxzKyIsIiIpKTsKICAgICAgICBib29sZWFuIGlzVmFsaWQgPSBtYXRjaGVyLm1hdGNoZXMoKTsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oaXNWYWxpZCk7Cgl9Cn0=