s,n;main(i){for(;i=~getchar();i%7?n*=i>-12:s<++n?s=n:1);s=!printf("%d",s);}