main(n){
	scanf("%d",&n);
	printf("%d",n%12345);
}