printf("%d ",sort(scanf("%d")(2:13)))