3

#include <stdio.h>

int main() {
int i=0;
    inr cnt=0;
while(1){
    int num;
    scanf("%d",&num);
    if (num == 7){
        cnt = i;
        
    }

    i++;
    }
    }
    printf("%d",cnt);
}