#include <stdio.h>
#include <stdlib.h>

int a = 1234567;
int main(void){

    printf("%d",a);

	
	return 0;
}

1234567