There are now more than 24,000 different Android devices