batchID is an int