The opening battle sequence of "Gladiator" was filmed in Bourne Woods, Farnham, Surrey, England. What is used to synchronize audio with video in a film?