#include <stdio.h>
 int main(void){
 	int x;
	printf("x=%d\n",x);
	return 0;
}