BatchID is an int