using System;

using System.Text.RegularExpressions;

public class JapanMyNumberCorporate

{

    public static void Main()

    {

        bool isValid = isValidJMNC("5835678256246");

        Console.WriteLine(isValid);

    }

    private static int getReminder(string jmnc)

    {

        int addition = 0;

        for (int i=0;i<jmnc.Length;i++)

        {

            addition += (i % 2 == 0) ? (Convert.ToInt32(jmnc[i]) - 48) * 2 : (Convert.ToInt32(jmnc[i]) - 48);

        }

        int answer = 9 - addition % 9;

        return answer;

    }

    private static bool isValidJMNC(string jmnc)

    {

        jmnc = Regex.Replace(jmnc, @"[-]", "");

        if (jmnc.Length != 13) return false;

        foreach(char ch in jmnc.Substring(0,jmnc.Length - 1))

        {

            if (char.IsLetter(ch)) return false;

        }

        int wholestring_check = Convert.ToInt32(jmnc[0]) - 48;

        string wholestring = jmnc.Substring(1,jmnc.Length - 1);

        int wholestring_reminder = getReminder(wholestring);

        if (wholestring_reminder != wholestring_check) return false;

        return true;

    }

}