阿岳是一个喜欢篮球和数学的练习生，他有一个特别的爱好，就是收集所有和7有关的数字。他认为7是一个神奇的数字,能给他带来好运和灵感,但是他不喜欢4这个数字。他的朋友们都觉得他很奇怪，但阿岳不在乎，他只在乎自己的数字。

        有一天，阿岳的数学老师布置了一个作业，要求输出1∼n内含有7或者7的倍数的数字，但不含有4或者4的倍数的个数，例如（17，27，70，71…）。阿岳一看到这个题目，就觉得很兴奋，他觉得这是老师给他的一个挑战，也是一个展示自己才华的机会。

</span>

Input Format

Output Format

一个整数  表示不大于n 的与7有关的数字但与4无关的个数。

测试点数据规模与约定

40

6

Hint

Source