an Entity references as follows:
Rudolph and Frosty's Christmas in July (titled on-screen as Rudolph and Frosty: Christmas in July, or simply Rudolph and Frosty) is an American-Japanese Christmas/Independence Day television special produced by Rankin/Bass Productions, featuring characters from the company's holiday specials Rudolph the Red-Nosed Reindeer (1964) and Frosty the Snowman (1969), among others. It was filmed in Japan using the company's trademark "Animagic" stop-motion animation style. The film premiered in the US on November 25, 1979, on ABC.