len(map(array, ok))
