Question: Ave Satani was the theme song to which Richard Donner horror film?

full_context: Document 1: Aliens (soundtrack): The score to the 1986 James Cameron film "Aliens" was composed by James Horner. The score itself includes musical references to Gayane's Adagio from Aram Khachaturian's "Gayane" ballet suite, which had been used in Stanley Kubrick's "" (1968). The score also uses musical motifs, sound treatments and excerpts from Jerry Goldsmith's original soundtrack to "Alien" (1979). Additional cues taken from Jerry Goldsmith's "Alien" score were used in the climax of the film when Horner was unable to finish some cues to Cameron's satisfaction. The film's editors also reportedly altered the score's chronological flow, sometimes looping, truncating or removing the music and placing it in fragmented form in the film out of context. Despite production issues, it was nominated for an Academy Award in 1986. It was performed by the London Symphony Orchestra. The soundtrack album was released the following year, in 1987.
Document 2: The Exorcist (film): The Exorcist is a 1973 American supernatural horror film, adapted by William Peter Blatty from his 1971 novel of the same name, and starring Ellen Burstyn, Linda Blair, Max von Sydow, and Jason Miller. The film is part of "The Exorcist" franchise. The book, inspired by the 1949 exorcism of Roland Doe, deals with the demonic possession of a 12-year-old girl and her mother's attempts to win back her child through an exorcism conducted by two priests. The adaptation is relatively faithful to the book, which itself has been commercially successful (earning a place on "The New York Times" Best Seller list).
Document 3: The Exorcist III: The Exorcist III is a 1990 American supernatural horror film written and directed by William Peter Blatty. It is the third installment of "The Exorcist" franchise and a film adaptation of Blatty's novel, "Legion" (1983). The film stars George C. Scott, Ed Flanders, Jason Miller, Scott Wilson and Brad Dourif. This is the only "The Exorcist" film not to be distributed theatrically by Warner Bros., though Warner Bros. subsequently gained international distribution rights.
Document 4: The Good, the Bad and the Ugly (soundtrack): The Good, the Bad and the Ugly: Original Motion Picture Soundtrack was released in 1966 alongside the Western film, "The Good, the Bad and the Ugly", directed by Sergio Leone. The score is composed by frequent Leone collaborator Ennio Morricone, whose distinctive original compositions, containing gunfire, whistling, and yodeling permeate the film. The main theme, resembling the howling of a coyote, is a two-note melody that is a frequent motif, and is used for the three main characters, with a different instrument used for each one: flute for Blondie (Man With No Name), Arghilofono (Ocarina) for Angel Eyes, and human voices for Tuco.
Document 5: Richard Donner: Richard Donner (born Richard Donald Schwartzberg; April 24, 1930) is an American director and producer of film and television. After directing the horror film "The Omen" (1976), Donner became famous for directing the first modern superhero film, "Superman" (1978), starring Christopher Reeve.
Document 6: David Seltzer: David Seltzer (born 1940) is an American screenwriter, producer and director, perhaps best known for writing the screenplays for "The Omen" (1976) and "Bird on a Wire" (1990). As writer-director, Seltzer's credits include the 1986 teen tragi-comedy "Lucas" starring Corey Haim, Charlie Sheen and Winona Ryder, the 1988 comedy "Punchline" starring Sally Field and Tom Hanks, and 1992's "Shining Through" starring Melanie Griffith and Michael Douglas.
Document 7: The Omen (2006 film): The Omen (also known as The Omen: 666) is a 2006 American supernatural horror film directed by John Moore and written by David Seltzer. A remake of the 1976 film "The Omen", the film stars Liev Schreiber, Julia Stiles and Mia Farrow. It was released worldwide on June 6, 2006 — the date intentionally reflecting the purported Number of the Beast, 666.
Document 8: Ave Satani: "Ave Satani" is the theme song to the film "The Omen" (1976) composed by Jerry Goldsmith. "The Omen" won the Academy Award for Best Original Score, with "Ave Satani" nominated for Best Original Song, one of the few foreign language (Latin) songs ever to be nominated.
Document 9: Hail Satan: "Hail Satan", sometimes expressed in a Latinized version as "Ave Satanas" (or "Ave Satana"), is an expression used by some Satanists to show their dedication to Satan, but has also been used for the purpose of comedy or satire. Believers in backmasking think they can hear "Hail Satan" and other messages to Satan in some songs played in reverse, such as "Walk This Way" by Aerosmith. The variation "Ave Satani", though grammatically incorrect, is sometimes used, likely originating from its use by Jerry Goldsmith in his theme music to "The Omen".
Document 10: The Omen: The Omen is a 1976 British-American supernatural horror film directed by Richard Donner, and written by David Seltzer. The film stars Gregory Peck, Lee Remick, David Warner, Harvey Spencer Stephens, Billie Whitelaw, Patrick Troughton, Martin Benson, and Leo McKern. The first installment of "The Omen" franchise, "The Omen" concerns a young child replaced at birth by American Ambassador Robert Thorn unbeknownst to his wife, after their own son is stillborn. They are surrounded by mysterious and ominous deaths, unaware that the child, Damien, is the Antichrist.
Document 11: Jerry Goldsmith: Jerrald King "Jerry" Goldsmith (February 10, 1929July 21, 2004) was an American composer and conductor most known for his work in film and television scoring. He composed scores for such noteworthy films as "", "The Sand Pebbles", "Logan's Run", "Planet of the Apes", "Patton", "Papillon", "Chinatown", "The Wind and the Lion", "The Omen", "The Boys from Brazil", "Capricorn One", "Alien", "Outland", "Poltergeist", "The Secret of NIMH", "Gremlins", "Hoosiers", "Total Recall", "Basic Instinct", "Rudy", "Air Force One", "L.A. Confidential", "Mulan", "The Mummy", three "Rambo" films, "Explorers" and four other "Star Trek" films.
Document 12: The Good, the Bad and the Ugly (theme): "The Good, the Bad and the Ugly" is the theme to the 1966 film of the same name, which was directed by Sergio Leone. Included on the film soundtrack as "The Good, the Bad and the Ugly (main title)", the instrumental piece was composed by Ennio Morricone, with Bruno Nicolai conducting the orchestra. A cover version by Hugo Montenegro in 1968 was a pop hit in both the U.S. and the U.K. It has since become one of the most iconic scores in film history.
Document 13: Jenma Natchathiram: Jenma Natchathiram (தமிழ்: ஜென்ம நட்சத்திரம், English: Birth Star) is a 1991 Tamil supernatural horror film directed and Screenplays by Thakkali Srinivasan for Thirai Gangai Films. The film dialogue were written by Ma. Pandarinathan, and story were written by Krishnan respectively. Music by Premi - Srini assets to the soundtrack. It Stars Baby Vichithra played titular role with Pramoth, Sindhuja and Vivek played pivotal role. The film was unofficial remake of "The Omen", 1976 British/American supernatural horror drama film directed by Richard Donner.
Document 14: Exorcist II: The Heretic: Exorcist II: The Heretic is a 1977 American supernatural horror film directed by John Boorman and written by William Goodhart. It stars Linda Blair, Richard Burton, Louise Fletcher, Max von Sydow, Kitty Winn, Paul Henreid and James Earl Jones. It is a sequel to William Friedkin's 1973 film "The Exorcist" based on the 1971 novel by William Peter Blatty and the second installment of "The Exorcist" franchise. The film is set four years after the original film and centers on the now 16-year-old Regan MacNeil, who is still recovering from her previous demonic possession.
Document 15: The Sixth Sense: The Sixth Sense is a 1999 American supernatural horror-thriller film written and directed by M. Night Shyamalan. The film tells the story of Cole Sear (Haley Joel Osment), a troubled, isolated boy who is able to see and talk to the dead, and an equally troubled child psychologist named Malcolm Crowe (Bruce Willis) who tries to help him. The film established Shyamalan as a writer and director, and introduced the cinema public to his traits, most notably his affinity for surprise endings.
ground_truth: The Omen