title: How to ping a user with their user id in discord.js?
body: <p>When I get a statement from one of my bot commands and it "@'s" another user, I receive that as their user id. When this happens I want to ping that user using that id, how would I go about doing that? </p>
  
  <p>I take the messages I get and put them in array, so when someone says "@soandso is a nerd" it becomes [ '&lt;@', 'stringofnumbers>', 'is', 'a', 'nerd' ].</p>
  
  <p>I thought originally to put the "&lt;@" in a new array as an "@" and then adding the username to that, but I don't know how to get the username from the userid. </p>