#include <stdio.h>
int main(void) 
{
	// your code goes here
int a = 7;
printf("a= %d\n",a);
return 0;
}