/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
String pat
= "[a-zA-Z]{5}(?=[0-9-]{15}$)[0-9]+-[0-9]+"; System.
out.
println("abcde123456-89012345".
matches(pat
)); // true System.
out.
println("abcde-12345689012345".
matches(pat
)); // false System.
out.
println("abcde12345689012345-".
matches(pat
)); // false System.
out.
println("abcde12345689012345-12".
matches(pat
)); // false }
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlTdHJpbmcgcGF0ID0gIlthLXpBLVpdezV9KD89WzAtOS1dezE1fSQpWzAtOV0rLVswLTldKyI7IAoJCVN5c3RlbS5vdXQucHJpbnRsbigiYWJjZGUxMjM0NTYtODkwMTIzNDUiLm1hdGNoZXMocGF0KSk7ICAgLy8gdHJ1ZQoJCVN5c3RlbS5vdXQucHJpbnRsbigiYWJjZGUtMTIzNDU2ODkwMTIzNDUiLm1hdGNoZXMocGF0KSk7ICAgLy8gZmFsc2UKCQlTeXN0ZW0ub3V0LnByaW50bG4oImFiY2RlMTIzNDU2ODkwMTIzNDUtIi5tYXRjaGVzKHBhdCkpOyAgIC8vIGZhbHNlCgkJU3lzdGVtLm91dC5wcmludGxuKCJhYmNkZTEyMzQ1Njg5MDEyMzQ1LTEyIi5tYXRjaGVzKHBhdCkpOyAvLyBmYWxzZQoJfQp9