#include <iostream>
#include <string>
#include <sstream>
#include <vector>
using namespace std;
 
struct Student
{
	string ID;
	string name;
	double grade;
};
 
int main() {
	//ifstream inFile;
	istream &inFile = cin;
 
	vector<Student> students;
 
	string line, netID, studentName;
	double grade1, grade2, grade3;
 
	//inFile.open("Asg3Grades.txt"); //opens the file
 
	while (getline(inFile, line)) {
 
    	istringstream iss(line);
 
    	if (iss >> netID >> studentName >> grade1 >> grade2 >> grade3) {
 
        	double average = (grade1 + grade2 + grade3) / 3;
 
        	Student student;
        	student.ID = netID;
        	student.name = studentName;
        	student.grade = average;
 
        	students.push_back(student);
    	}
	}
 
	//inFile.close(); //closes the file
 
	for (size_t i = 0; i < students.size(); i++) {
    	cout << students[i].ID << ": " << students[i].name << " " << students[i].grade << endl;
	}
 
	return 0;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8c3N0cmVhbT4KI2luY2x1ZGUgPHZlY3Rvcj4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnN0cnVjdCBTdHVkZW50CnsKCXN0cmluZyBJRDsKCXN0cmluZyBuYW1lOwoJZG91YmxlIGdyYWRlOwp9OwoKaW50IG1haW4oKSB7CgkvL2lmc3RyZWFtIGluRmlsZTsKCWlzdHJlYW0gJmluRmlsZSA9IGNpbjsKCQoJdmVjdG9yPFN0dWRlbnQ+IHN0dWRlbnRzOwoJCglzdHJpbmcgbGluZSwgbmV0SUQsIHN0dWRlbnROYW1lOwoJZG91YmxlIGdyYWRlMSwgZ3JhZGUyLCBncmFkZTM7CgoJLy9pbkZpbGUub3BlbigiQXNnM0dyYWRlcy50eHQiKTsgLy9vcGVucyB0aGUgZmlsZQoKCXdoaWxlIChnZXRsaW5lKGluRmlsZSwgbGluZSkpIHsKCiAgICAJaXN0cmluZ3N0cmVhbSBpc3MobGluZSk7CgogICAgCWlmIChpc3MgPj4gbmV0SUQgPj4gc3R1ZGVudE5hbWUgPj4gZ3JhZGUxID4+IGdyYWRlMiA+PiBncmFkZTMpIHsKCiAgICAgICAgCWRvdWJsZSBhdmVyYWdlID0gKGdyYWRlMSArIGdyYWRlMiArIGdyYWRlMykgLyAzOwoKICAgICAgICAJU3R1ZGVudCBzdHVkZW50OwogICAgICAgIAlzdHVkZW50LklEID0gbmV0SUQ7CiAgICAgICAgCXN0dWRlbnQubmFtZSA9IHN0dWRlbnROYW1lOwogICAgICAgIAlzdHVkZW50LmdyYWRlID0gYXZlcmFnZTsKCiAgICAgICAgCXN0dWRlbnRzLnB1c2hfYmFjayhzdHVkZW50KTsKICAgIAl9Cgl9CgoJLy9pbkZpbGUuY2xvc2UoKTsgLy9jbG9zZXMgdGhlIGZpbGUKCglmb3IgKHNpemVfdCBpID0gMDsgaSA8IHN0dWRlbnRzLnNpemUoKTsgaSsrKSB7CiAgICAJY291dCA8PCBzdHVkZW50c1tpXS5JRCA8PCAiOiAiIDw8IHN0dWRlbnRzW2ldLm5hbWUgPDwgIiAiIDw8IHN0dWRlbnRzW2ldLmdyYWRlIDw8IGVuZGw7Cgl9CgoJcmV0dXJuIDA7Cn0=

MSBqb2UgMTAgMjAgMzAKMiBqYWNrIDUwIDc1IDgwCjMgam9obiAxMDAgMTAwIDEwMAo=

1 joe 10 20 30
2 jack 50 75 80
3 john 100 100 100