Дано натуральное число верно ли что это число четырехзначное в паскале программу написать

Var k, x: integer;
begin
     readln(x);
     while x<>0 do
     begin
               inc(k);
               x:=x mod 10;
     end;
     if k=4 then write('верно') else write('неверно');
end.