2910: 线段

    众所周知，Index数是指十进制表示每位都由4和7组成的正整数。
    Index的一本魔导书中记录了这样一个问题。
    有N条线段，第i条为[li,ri]，你每次可以将某个线段移至[li-1,ri-1]或者[li+1,ri+1]，即左移或右移个单位。
    我们说数轴上 线个点x是Index点当且仅当：
    X是Index数，且被所有线段包含
现在给我你这N条线段，允许你最多操作K次，使得Index点的个数最多，并输出这个数目。

    第一行两个数N,K
    接下来N行，每行两个数li,ri。

    一个数，即最多的Index点的个数。

	4  7
	1  4
	6  9
	4  7
 	3  5

	2  7
	40  45
	47  74

	1

	2

注意：每个文件只有一个数据，以上为两个不同的输入输出文件。