/* 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 reportId = "^[a-zA-Z]{8}$";
        try {
            Pattern.compile(reportId);
        } catch (Exception exception) {
            System.err.println(exception.getDescription());
        }
        System.out.println("Syntax is ok.");


		
}
	}