#include <stdio.h>
main () {
  int a = 10;
  printf("%d\n", a++);
  printf("%d\n", a);
}