/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
 
/* 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
	{
		Scanner x = new Scanner(System.in);
			String pattern = "^(249)?1\\d{8}$";
 
	      // Create a Pattern object
	      Pattern r = Pattern.compile(pattern);
		while (true) {
	     String line = x.nextLine();
	      Matcher m = r.matcher(line);
	      if (m.find()) {
	         System.out.println("Found -> " + m.group());
      	  } else {
      	  	 System.out.println("Not Found");
      	  }
		}
 
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguTWF0Y2hlcjsKaW1wb3J0IGphdmEudXRpbC5yZWdleC5QYXR0ZXJuOwoKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlTY2FubmVyIHggPSBuZXcgU2Nhbm5lcihTeXN0ZW0uaW4pOwoJCQlTdHJpbmcgcGF0dGVybiA9ICJeKDI0OSk/MVxcZHs4fSQiOwoJCgkgICAgICAvLyBDcmVhdGUgYSBQYXR0ZXJuIG9iamVjdAoJICAgICAgUGF0dGVybiByID0gUGF0dGVybi5jb21waWxlKHBhdHRlcm4pOwoJCXdoaWxlICh0cnVlKSB7CgkgICAgIFN0cmluZyBsaW5lID0geC5uZXh0TGluZSgpOwoJICAgICAgTWF0Y2hlciBtID0gci5tYXRjaGVyKGxpbmUpOwoJICAgICAgaWYgKG0uZmluZCgpKSB7CgkgICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oIkZvdW5kIC0+ICIgKyBtLmdyb3VwKCkpOwogICAgICAJICB9IGVsc2UgewogICAgICAJICAJIFN5c3RlbS5vdXQucHJpbnRsbigiTm90IEZvdW5kIik7CiAgICAgIAkgIH0KCQl9CiAgICAgIAkgIAoJfQp9

MjQ5MTg5MzcyODM3CjI0OTEyMzQ3NjM1OAoxODM1MjYzNTIKMjQzMTk4MzY0NTIzOAoyNDkyNDM1NjM4Mzc5OQoyNDkyMTIyMzY0NzIKMTIzMjM0NTY3OAoxMjM0NTMyMwo0NTYyNzgzOTk=

249189372837
249123476358
183526352
2431983645238
24924356383799
249212236472
1232345678
12345323
456278399