string to int[]