Parcel Weight

Source: Phước Hưng OJ

Version: Phuoc Hung OJ Extended

Problem Statement

Each widget weighs 75 grams and each gizmo weighs 112 grams. A parcel has $a$ widgets and $b$ gizmos. Compute its total weight in grams. These weights are fixed for this PHOJ edition.

Input

One line with non-negative integers $a,b$.

Output

Print one integer: total mass in grams.

Subtask

• Subtask 1 — 100 points: $0\le a,b\le10^6$.

Example

Input

2 3

Output

486

Explanation

Two widgets weigh $150$ grams and three gizmos weigh $336$ grams; total $486$ grams.