Мастер отремонтировал 13 замков и 6 зонтов. На сколько больше замков, чем зонтов, отремонтировал мастер?