include xpllib;
def  N = 13;
int  A(N, 1), I;
[for I:= 0 to N-1 do ItoA(I+1, A(I));
StrSort(A, N);
Print("[");
for I:= 0 to N-2 do Print("%s, ", A(I));
Print("%s]\n", A(N-1));
]