一号线清点单程票上满票箱时，如果AR表格中显示的数量为a（a≠0，且a＜1000），滑道中票数量为6，插入满票箱后，应输入TOKEN的数量等于“1000+a”）。（）