#include<stdio.h>
int main() {
    int a[7]={123456};
    printf("%d",a);
}