["0","10","12","13"]