#!/usr/bin/env python3

import sys

for line in sys.stdin:
    line = line.strip()

    s = line.split('\t')[7]

    try:
        print(float(s) * 7000)
    except BaseException:
        print(200000)