added_tokens.json

{
  "<mask>": 8001,
  "<pad>": 8000
}