/* 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 re = "^(.).*?((?!\\1).).*?((?!\\1|\\2).).*?((?!\\1|\\2|\\3).).*?$"; 
		// Good
        System.out.println("1q2w3e4r5t".matches(re));
        System.out.println("goody".matches(re));
        System.out.println("gggoooggoofr".matches(re));
        // Bad
        System.out.println("good".matches(re));
        System.out.println("1ab1".matches(re));
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlTdHJpbmcgcmUgPSAiXiguKS4qPygoPyFcXDEpLikuKj8oKD8hXFwxfFxcMikuKS4qPygoPyFcXDF8XFwyfFxcMykuKS4qPyQiOyAKCQkvLyBHb29kCiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKCIxcTJ3M2U0cjV0Ii5tYXRjaGVzKHJlKSk7CiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKCJnb29keSIubWF0Y2hlcyhyZSkpOwogICAgICAgIFN5c3RlbS5vdXQucHJpbnRsbigiZ2dnb29vZ2dvb2ZyIi5tYXRjaGVzKHJlKSk7CiAgICAgICAgLy8gQmFkCiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKCJnb29kIi5tYXRjaGVzKHJlKSk7CiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKCIxYWIxIi5tYXRjaGVzKHJlKSk7Cgl9Cn0=