out of interest

i noticed on the disney cruise ship a child is classed age 17yrs and under strange when you consider that a child becomes an adult price in restaurants and for tickets to disney at 9yrs