#include<iostream> using namespace std; int main(){ cout<<(12+1002)*100/2; return 0; }