2007\leq 4k+\frac 23