I have to create several hundred users using mysql. How do I know which user IDs to give them?I don't want to dup