And what year are they in? Bedtimes feel like they need adjusting but I'm not sure less sleep would be good for them, so I'm curious how many hours other children sleep.