What's most efficient way to get the username from an id?