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

char s[16];
int main(void){
	clock_t c1 = clock();
	int cnt = 0;

	for(; scanf("%s", s) != EOF; ){
		if( strcmp(s, "END") == 0 )
			++cnt;
	}
	
	clock_t c2 = c1 + CLOCKS_PER_SEC * 0.02 * cnt;
	while( c2 > clock() );
	return 0;
}