Legendary Players

AtCoder
IDabc319_a
Time2000ms
Memory256MB
Difficulty
In AtCoder, the top $10$ rated players' usernames are displayed with a gold crown, and the top-rated player's username is displayed with a platinum crown. At the start of this contest, the usernames and ratings of the top $10$ rated players in the algorithm category are as follows: tourist 3858 ksun48 3679 Benq 3658 Um_nik 3648 apiad 3638 Stonefeang 3630 ecnerwala 3613 mnbvmar 3555 newbiedmy 3516 semiexp 3481 You are given the username $S$ of one of these players. Print that player's rating. ## Constraints * $S$ is equal to one of the usernames of the top $10$ rated players in the algorithm category. ## Input The input is given from Standard Input in the following format: $S$ [samples]
Samples
Input #1
tourist
Output #1
3858

At the start of this contest, the rating of ![image](/assets/icon/crown4000.gif) [tourist](/users/tourist) in the algorithm category is $3858$.
Input #2
semiexp
Output #2
3481

At the start of this contest, the rating of ![image](/assets/icon/crown_gold.png) [semiexp](/users/semiexp) in the algorithm category is $3481$.
API Response (JSON)
{
  "problem": {
    "name": "Legendary Players",
    "description": {
      "content": "In AtCoder, the top $10$ rated players' usernames are displayed with a gold crown, and the top-rated player's username is displayed with a platinum crown. At the start of this contest, the usernames a",
      "description_type": "Markdown"
    },
    "platform": "AtCoder",
    "limit": {
      "time_limit": 2000,
      "memory_limit": 262144
    },
    "difficulty": "None",
    "is_remote": true,
    "is_sync": true,
    "sync_url": null,
    "sign": "abc319_a"
  },
  "statements": [
    {
      "statement_type": "Markdown",
      "content": "In AtCoder, the top $10$ rated players' usernames are displayed with a gold crown, and the top-rated player's username is displayed with a platinum crown.\nAt the start of this contest, the usernames a...",
      "is_translate": false,
      "language": "English"
    }
  ]
}
Full JSON Raw Segments