#include <stdio.h>
int main(void)
{
int a,i;
scanf ("%d",&a);
if (a / 1000 == 7)
i++;
if ((a / 100) % 10 == 7)
i++;
if ((a / 10) % 10 == 7)
i++;
if (a % 10 == 7)
i++;
printf ("%d",i);
return 0;
}