converter
@username2id_bot
If you have Telegram, you can launch
converter right away.