You report theft to your local police, and they will report imei to operators imei db, and they will use blocklist depending what country you are in.