python - Discord target user ID -

i wondering if there way convert someones username id requested upon different user. when user requests elses id, type in name , returns specified users id.

i'm totally new python , stackoverflow, helpful thank you.

edit: since creating individual user files each user use users id name them, need convert someones username id.

for can save username in dict in python create dictionary username key i.e.

desc={"ali":123,"mathew" :1234} 

so print desc["mathew"]; print 1234 id of mathew