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