using System;

public class Program

{

    public static void Main()

    {

        string input = Console.ReadLine();

        char[] capitalCases = {'A','B','C','D','E','F','G','H','I','J','K','L','M','N','O','P','Q','R','S','T','U','V','W','X','Y','Z'};

        bool validation = true;

        if(input.Length != 12)

        {

            validation = false;

        }

        for(var i = 0; i < 3 && input.Length == 12; i++)

        {

            var currentChar = input.ToCharArray()[i];

            if(i < 3)

            {

                bool isCapital = false;

                foreach(var capital in capitalCases)

                {

                    if(capital == currentChar)

                    {

                        isCapital = true;

                    }

                }

                if(!isCapital)

                {

                    validation = false;

                }

            }

            else

            {

                int n;

                bool isNumeric = int.TryParse(currentChar.ToString(), out n);

                if(!isNumeric)

                {

                    validation = false;

                }

            }

        }

        if(validation)

        {

            Console.Write("Vaccination Correct");

        }

        else

        {

            Console.Write("Vaccination False");

        }

    }

}