learPlatforms();">
          <label for="platform_any">Any</label></nobr>
        <nobr><input type="checkbox" id="platform_windows" onclick="setPlatformAny();" value="windows">
          <label for="platform_windows">Windows</label></nobr>
        <nobr><input type="checkbox" id="platform_macosx" onclick="setPlatformAny();" value="macosx">
          <label for="platform_macosx">Mac OS X</label></nobr>
        <nobr><input type="checkbox" id="platform_linux" onclick="setPlatformAny();" value="linux">
      