Before editing, a movie is 120 min long. The edited movie is 25% shorter. What is the
length of the edited movie?