#include <stdio.h>

register int b;

int main( int argc, char *argv[] )
{
    int a;

    a = 1234567;

    printf("%d\n", a);
}