package Compk12 is
    function K12 return Integer;
end Compk12;