package Compk7 is
    function K7 return Integer;
end Compk7;