integer {{n}} = scanf("2047","%d")
printf(1,"%d\n",{n+1})