#include <iostream>
#include <cstdint>

using namespace std;

int main()
{
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	
	uint32_t W, Z;
	char B[4];
	cin >> W >> Z >> B;

	uint32_t ans;
	switch (B[2])
	{
	case '0':
		ans = (W + Z) * 3;
		break;

	case '2':
		ans = (W + Z) / 5 * 11;
		break;

	case '5':
		ans = (W + Z) / 2 * 3;
		break;

	case '6':
		ans = (W + Z) / 5 * 13;
		break;

	case '8':
		ans = (W + Z) / 5 * 9;
		break;
	}

	cout << ans << '\n';
	return 0;
}