#include <stdio.h>

int main(int argc, char **argv)
{
	printf("%d%d%d", argc++, argc, ++argc);
}