Hi, Why is the cropped image's focal length (fHMR) defined to 5000 pixels? I couldn't find an explanation in the article. Thanks