题目描述

陈老师最近在出一道模拟题，他想又想要考察质数，又想要考察代码能力

于是他想到了一个很有趣的思路，分两个步骤完成题目

第一步：陈老师会给出一个整数 $n$

你需要做的是先枚举 $1 \sim n$，然后将这些数字依次拼接起来形成一个超级大数

例如 n = 32 时候会得到 1234567891011121314151617181920212223242526272829303132

第二步：你需要依次枚举这个大数的每一位 $i$，以 $i$ 开始截取长度为 $4$ 的一个四位数字，然后判断这个数字是否是质数

陈老师希望你统计有多少个四位数字是质数（数字必须是四位，例如 0313 是质数，但不是四位数）

输入格式

输入一个整数表示 $n$

输出格式

输出一个整数，表示四位数字是质数的数量

数据范围

对于 $20\%$ 的数据，$n \leq 10$

对于 $60\%$ 的数据，$n \leq 100$

对于 $100\%$ 的数据，$n \leq 10000$

样例输入1

32

样例输出1

4

样例解释

四个质数分别为 $4567,1213,2131,8293$