// 3*20^3+1
24001