/* 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
{
	public static void main (String[] args) throws java.lang.Exception
	{
		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