Задача #1002

(В. Рыбальченко) Алгоритм вычисления функции $F(n)$, где $n$ – целое число, задан следующими соотношениями:
$F(n)=n+1$, при $n>3456$;
F(n)=F(n+1)+F(n+2), при $n\le 3456$ и кратном трем;
F(n)=F(n+n mod 3)+2, при $n\le 3456$ и не кратном трем;
Определите значение выражения $F(12)–F(17)$.
Прим. Под «mod» подразумевается получение остатка от деления