4 ms·

Probably in pixels, good quality 35mm seems to top around "12k" according to some of the people doing scans.