#include <stdio.h>

int main(void) {
	 int x = 7;
     x = x++;
     printf("%d\n",x);
	return 0;
}