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

    var
    num : integer;

    begin
    READY PERS;
    START_TRANSACTION READ_ONLY;

    GET
      num = COUNT OF E IN EMPLOYEES;
    END_GET;

    writeln ('The number of employees is', num);

    COMMIT;
    FINISH;
    end.