В начале лета в коллекции у Васи было 843 марки, а у Пети всего 358. За время летних каникул Вася продал часть своих марок. Когда ребята встретились в школе, оказалось, что у Пети на 5 марок больше, чем у Васи. Сколько марок продал Вася за время летних каникул?