 And that, of course, will force us to adjust our programming schedule for much of the day. We'll go with the weekend edition Sunday through midday and then BBC World Service into the early afternoon. It's 7.40.