main(n){scanf("%d",&n);n=!printf("%d\n",n%123456);}