step1: generate 3 random numbers from 1 to number_of_users_with_level_1000
step2: find out the nicknames of the users coresponding with the numbers
step3: msg the users.