program max_function (input,output);
    DATABASE PERS = FILENAME 'PERSONNEL';

    DECLARE_VARIABLE maxi SAME AS PERS.CURRENT_INFO.SALARY;

    begin
    READY PERS;
    START_TRANSACTION READ_ONLY;

    GET
      maxi = MAX CI.SALARY OF CI IN CURRENT_INFO;
    END_GET;

    writeln (maxi:10:2);

    COMMIT;
    FINISH;
    end.