/* Setzen des Rückgabewertes */
/* Datei: setjn1.c */

#include <stdio.h>
#include <string.h>

int main (int argc, char **argv)
{
int x;
x = getchar();
if (argc != 3)
   return 9;
if (strchr (argv[1],x) != NULL)
   return 1;
if (strchr (argv[2],x) != NULL)
   return 0;
return 8;
}