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