Определить количество дней в этом месяце для высокосного года — Pascal(Паскаль)

uses crt;
type mes=1..12;{пишем свой тип, нам надо всего 12 чисел}
var m:mes;
    k:byte;
begin
clrscr;
repeat
write('Введите номер месяца 1-12:');
readln(m);
until m in[1..12];{проверяем правильность ввода}
case m of
2:write('28 дней');
4,6,9,11:write('30 дней');
else write('31 день');
end;
readln
end.