while(0<1)printf("%,d\n",readInt)