#include <stdio.h>
int main()
{
	printf("%d\n",(getchar() - '0') - 1);
}