#include <iostream>
using namespace std;

int main()
{
    cout << "1990 " << "  135\n"
         << "1991 " << " 7290\n"
         << "1992 " << "11300\n"
         << "1993 " << "16200\n";

    return 0;
}