$docindex = {
    'Perl' => 1,
    'Python' => 0.5,
    ...
    '~~Course11' => 1 };