 There are four different treatments of the end credits, all four are  available in different VHS, laserdisc, DVD and TV prints of the film......  When the film premiered in a limited 70mm format, it had no beginning or  end credits, nothing but a one