#include <iostream> using namespace std; int main() { ios::sync_with_stdio(0); cin.tie(NULL);cout.tie(NULL); int a, b; cin >> a >> b; cout << min(a, b) * 50; }