问题

求出1-10000中不是4或5或6的倍数的数的个数。

要求

分别用蛮力法和容斥原理对这道题进行解答。

输出

这道题没有输入。
输出两行一样的数字分别表示这两种算法求出的结果。