program fjf165a;

const n=6;

type t=array[1..n] of char;

var
  i:1..n;
  c:t=('a','B','ä','Ö','ß','-');   (* Only with German "locale" *)
  u:t=('A','B','Ä','Ö','ß','-');
  l:t=('a','b','ä','ö','ß','-');

begin
  for i:=1 to n do
    if (UpCase(c[i])<>u[i]) or (LoCase(c[i])<>l[i]) then
      begin
        Writeln ('Failed: ', UpCase(c[i]), u[i], LoCase(c[i]), l[i]);
        Halt (1)
      end;
  Writeln ('OK')
end.
