There is no definitive answer to this question as it depends on the operating system and screenshot software that the person is using. However, most likely, his screenshots would be in either PNG or JPG format.