5 minutes mixing and 12 minutes cooking. If you have time to rest the cookie dough for an hour before baking they will hold their shape a little better, but if not, this isn’t a problem.

The latest five minute news bulletin from BBC World Service.