//
//	Title comments here
//
//
//	The code will read a student's record ...
//

#include <iostream>

using namespace std;

struct Student
{	string name;
	int age;
	int test1, test2, final;
	float avg;
};

int main()
{
	Student z;
	getline(cin, z.name); 	// read a whole name
	char dummy;
	int size = 0;		// # of students

	while(cin)
	{
		cin >> z.age >> z.test1 >> z.test2 >> z.final;
		z.avg = (z.test1 + z.test2 + z.final)/3.0;

		// debug
		cout << "Student's info: " << z.name << "\n" << z.age 
			<< "\n" << z.test1 << "\t" << z.test2 << "\t" << z.final << "\n";
		cout << "Avg: " << z.avg << "\n";

		size ++;
		cin.get(dummy);		// consume '\n'
		getline(cin, z.name);  
	}

	cout << "There are " << size << " students.";
	cout << "\n\nDone.\n\n";
	return 0;
}