Get user name from user id?

Good point. Sorry. Post deleted.