Так как в цикле for после do не идёт блок
begin
end
то в цикле лежит одна строчка после do, s:=s+7; (writeln (s) не входит в цикл и поэтому в результате работы данной программы мы получим значение переменной s после выполнения цикла)
k используется как счётчик цикла.

k=14
s=7 (0+7)
k=15
s=14 (7+7)
k=16
s=21 (14+7)
k=17
s=28 (21+7)
k=18
s=35 (28+7)

После выполнения программы будет напечатано значение переменной s, которая равна 35.