How many 25 cents are there in $10?​