//	read data from a file
//	into an array
//

#include <iostream>
using namespace std;

int main()
{
	int final[21];
	int size=0;
	
	cin >> final[size];
	while(cin)
	{
		size ++;
		cin >> final[size];
	}
	cout << "\n The # of students taking the final:"
		<< size << endl;
	
	for(int i=0