传奇选手

题目描述

在 AtCoder 中,rating 排名前 $10$ 的选手的用户名会以金色皇冠显示,而排名第一的选手的用户名会以铂金皇冠显示。

本题开始时,算法分类下 rating 排名前 $10$ 的选手的用户名及 rating 如下:

tourist 3858
ksun48 3679
Benq 3658
Um_nik 3648
apiad 3638
Stonefeang 3630
ecnerwala 3613
mnbvmar 3555
newbiedmy 3516
semiexp 3481

给定其中一名选手的用户名 $S$。输出该选手的 rating。

输入格式

输入按以下格式从标准输入给出。

$S$

输出格式

以一行输出对应选手的 rating。

样例

tourist

3858

本题开始时,选手 tourist 的 rating 为 $3858$。

semiexp

3481

本题开始时,选手 semiexp 的 rating 为 $3481$。

数据范围

• $S$ 为算法分类下 rating 排名前 $10$ 的选手的用户名之一。