package Compk17 is
    function K17 return Integer;
end Compk17;