Convert discord username (User#0001) to a discord ID?

How can you do this? I have an online form with discord usernames and want to convert them to user IDs.

Couldn’t find anything online that does this. Would the most efficient way be add the user, copy id ?

Or is there a simpler soultion. thanks