How many planets are there in total?