#include <stdio.h>

int main(void) {
	int x = 5;
	
	printf("%d %d %d", ++x, x++, x);
	// your code goes here
	return 0;
}