#include <stdio.h>

int main() {
  int x = 10;
  while (x-- > 0) {
    printf("%d;", x);
  }
  return 0;
}