// 3*10^3+1
3001