42mm for 35mm film.