for(** in **) loop in awk does not assure sequence, use index