code | #TRUSTED 957385ef051314da1200942d1acfe406a00963f4535cd9203f215d8e570bdfbe3b6c09694d9abc6a494b033ffe799629edccf6172132a8d04d37d1914e1d237573ed7f25729441c393601d38ebf1279ac0d6c1edfd727c18285b9c6922550c927addc18428de2f59aa4d0cf13b12fb76a1a5390b38814494cfa35686abf7410e3939f127a3edabe906c87236b1090e834a1b9864c96698ca9149be62c8dcfaa924c7fe238609e1d08e0f3676269302c26f8cd3fe5ec6119bb3af52c931874e4616911bd4de5a47345a16e521532f417360aade6f81c0c60b90abd36462c17fa28263fc1073caeb3492d220769a9259a7e9937ab8b11f9484d95eec8b4e4baa707fb5c4c1ec0544cdbbc4f09cc71a04bd8757edd6cbe77da1863295a5e536f7456b8aa26db8a9c4150f841d852989407e78151ce59e7cbd77cf00d46757be01aae158b9e83186f1d820a3834829ab96f2357c85c0fc81a266f6b98451dc35546265e4d451a62b63f1f910c7908a5b115f2a6f2e64dfb3b55d07b134759099ff51aa82c8e41bafc53d551e27c9aab1617412aa638898dd35d6b899c4f1edec2c363e536387696f9b021e843fb99027e906a80c6aefa163b47cdd4881d88f6f2fa028a6718346006c42a40288307a7cd2c07a057722855f1ffc40b150d7c761ec2ce0df322d0e4e3d65ce5269550145655cbbbef988190d1483a8b7df2d4673f8d3
#
# (C) Tenable Network Security, Inc.
#
# Security advisory is (C) CISCO, Inc.
# See https://www.cisco.com/en/US/products/products_security_advisory09186a008059e470.shtml
include("compat.inc");
if (description)
{
script_id(48991);
script_version("1.22");
script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15");
script_cve_id("CVE-2005-3921");
script_bugtraq_id(15602);
script_xref(name:"CISCO-BUG-ID", value:"CSCsc64976");
script_xref(name:"CISCO-SA", value:"cisco-sa-20051201-http");
script_name(english:"IOS HTTP Server Command Injection Vulnerability");
script_summary(english:"Checks IOS version");
script_set_attribute(attribute:"synopsis", value:"The remote device is missing a vendor-supplied security patch.");
script_set_attribute(attribute:"description", value:
"A vulnerability exists in the IOS HTTP server in which HTML code
inserted into dynamically-generated output, such as the output from a
show buffers command, will be passed to the browser requesting the
page. This HTML code could be interpreted by the client browser and
potentially execute malicious commands against the device or execute
other possible cross-site scripting attacks. Successful exploitation
of this vulnerability requires that a user browse a page containing
dynamic content in which HTML commands have been injected.
Cisco will be making free software available to address this
vulnerability for affected customers. There are workarounds available
to mitigate the effects of the vulnerability.");
# https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20051201-http
script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?af5e62dd");
# https://www.cisco.com/en/US/products/products_security_advisory09186a008059e470.shtml
script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?0085a964");
# https://web.archive.org/web/20071116145545/http://www.infohacking.com/INFOHACKING_RESEARCH/Our_Advisories/cisco/index.html
script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?80c1f432");
# https://web.archive.org/web/20060726204630/http://www.idefense.com/intelligence/vulnerabilities/display.php?id=372
script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?642a62ef");
script_set_attribute(attribute:"solution", value:
"Apply the relevant patch referenced in Cisco Security Advisory
cisco-sa-20051201-http.");
script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:N/I:P/A:N");
script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
script_set_attribute(attribute:"exploit_available", value:"false");
script_set_attribute(attribute:"vuln_publication_date", value:"2005/11/28");
script_set_attribute(attribute:"patch_publication_date", value:"2005/11/28");
script_set_attribute(attribute:"plugin_publication_date", value:"2010/09/01");
script_set_attribute(attribute:"plugin_type", value:"local");
script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios");
script_end_attributes();
script_category(ACT_GATHER_INFO);
script_copyright(english:"This script is (C) 2010-2018 Tenable Network Security, Inc.");
script_family(english:"CISCO");
script_dependencie("cisco_ios_version.nasl");
script_require_keys("Host/Cisco/IOS/Version");
exit(0);
}
include("audit.inc");
include("cisco_func.inc");
include("cisco_kb_cmd_func.inc");
flag = 0;
version = get_kb_item_or_exit("Host/Cisco/IOS/Version");
override = 0;
if (version == '12.4(4)XD2') flag++;
else if (version == '12.4(4)XD1') flag++;
else if (version == '12.4(4)XD') flag++;
else if (version == '12.4(4)XC5') flag++;
else if (version == '12.4(4)XC4') flag++;
else if (version == '12.4(4)XC3') flag++;
else if (version == '12.4(4)XC2') flag++;
else if (version == '12.4(4)XC1') flag++;
else if (version == '12.4(4)XC') flag++;
else if (version == '12.4(2)XB5') flag++;
else if (version == '12.4(2)XB4') flag++;
else if (version == '12.4(2)XB3') flag++;
else if (version == '12.4(2)XB2') flag++;
else if (version == '12.4(2)XB1') flag++;
else if (version == '12.4(2)XB') flag++;
else if (version == '12.4(2)XA2') flag++;
else if (version == '12.4(2)XA1') flag++;
else if (version == '12.4(2)XA') flag++;
else if (version == '12.4(4)T4') flag++;
else if (version == '12.4(4)T3') flag++;
else if (version == '12.4(4)T2') flag++;
else if (version == '12.4(4)T1') flag++;
else if (version == '12.4(4)T') flag++;
else if (version == '12.4(2)T5') flag++;
else if (version == '12.4(2)T4') flag++;
else if (version == '12.4(2)T3') flag++;
else if (version == '12.4(2)T2') flag++;
else if (version == '12.4(2)T1') flag++;
else if (version == '12.4(2)T') flag++;
else if (version == '12.4(4)MR1') flag++;
else if (version == '12.4(4)MR') flag++;
else if (version == '12.4(2)MR1') flag++;
else if (version == '12.4(2)MR') flag++;
else if (version == '12.4(5b)') flag++;
else if (version == '12.4(5a)') flag++;
else if (version == '12.4(5)') flag++;
else if (version == '12.4(3f)') flag++;
else if (version == '12.4(3e)') flag++;
else if (version == '12.4(3d)') flag++;
else if (version == '12.4(3c)') flag++;
else if (version == '12.4(3b)') flag++;
else if (version == '12.4(3a)') flag++;
else if (version == '12.4(3)') flag++;
else if (version == '12.4(1c)') flag++;
else if (version == '12.4(1b)') flag++;
else if (version == '12.4(1a)') flag++;
else if (version == '12.4(1)') flag++;
else if (version == '12.3(8)ZA') flag++;
else if (version == '12.3(11)YZ1') flag++;
else if (version == '12.3(11)YZ') flag++;
else if (version == '12.3(14)YX7') flag++;
else if (version == '12.3(14)YX4') flag++;
else if (version == '12.3(14)YX3') flag++;
else if (version == '12.3(14)YX2') flag++;
else if (version == '12.3(14)YX1') flag++;
else if (version == '12.3(14)YX') flag++;
else if (version == '12.3(14)YU1') flag++;
else if (version == '12.3(14)YU') flag++;
else if (version == '12.3(14)YT1') flag++;
else if (version == '12.3(14)YT') flag++;
else if (version == '12.3(11)YS1') flag++;
else if (version == '12.3(11)YS') flag++;
else if (version == '12.3(14)YQ8') flag++;
else if (version == '12.3(14)YQ7') flag++;
else if (version == '12.3(14)YQ6') flag++;
else if (version == '12.3(14)YQ5') flag++;
else if (version == '12.3(14)YQ4') flag++;
else if (version == '12.3(14)YQ3') flag++;
else if (version == '12.3(14)YQ2') flag++;
else if (version == '12.3(14)YQ1') flag++;
else if (version == '12.3(14)YQ') flag++;
else if (version == '12.3(14)YM9') flag++;
else if (version == '12.3(14)YM8') flag++;
else if (version == '12.3(14)YM7') flag++;
else if (version == '12.3(14)YM6') flag++;
else if (version == '12.3(14)YM5') flag++;
else if (version == '12.3(14)YM4') flag++;
else if (version == '12.3(14)YM3') flag++;
else if (version == '12.3(14)YM2') flag++;
else if (version == '12.3(11)YK2') flag++;
else if (version == '12.3(11)YK1') flag++;
else if (version == '12.3(11)YK') flag++;
else if (version == '12.3(11)YJ') flag++;
else if (version == '12.3(8)YI3') flag++;
else if (version == '12.3(8)YI2') flag++;
else if (version == '12.3(8)YI1') flag++;
else if (version == '12.3(8)YH') flag++;
else if (version == '12.3(8)YG5') flag++;
else if (version == '12.3(8)YG4') flag++;
else if (version == '12.3(8)YG3') flag++;
else if (version == '12.3(8)YG2') flag++;
else if (version == '12.3(8)YG1') flag++;
else if (version == '12.3(8)YG') flag++;
else if (version == '12.3(11)YF4') flag++;
else if (version == '12.3(11)YF3') flag++;
else if (version == '12.3(11)YF2') flag++;
else if (version == '12.3(11)YF1') flag++;
else if (version == '12.3(11)YF') flag++;
else if (version == '12.3(8)YD1') flag++;
else if (version == '12.3(8)YD') flag++;
else if (version == '12.3(8)YA1') flag++;
else if (version == '12.3(8)YA') flag++;
else if (version == '12.3(2)XZ2') flag++;
else if (version == '12.3(2)XZ1') flag++;
else if (version == '12.3(2)XZ') flag++;
else if (version == '12.3(8)XY7') flag++;
else if (version == '12.3(8)XY6') flag++;
else if (version == '12.3(8)XY5') flag++;
else if (version == '12.3(8)XY4') flag++;
else if (version == '12.3(8)XY3') flag++;
else if (version == '12.3(8)XY2') flag++;
else if (version == '12.3(8)XY1') flag++;
else if (version == '12.3(8)XY') flag++;
else if (version == '12.3(8)XX1') flag++;
else if (version == '12.3(8)XX') flag++;
else if (version == '12.3(8)XW3') flag++;
else if (version == '12.3(8)XW2') flag++;
else if (version == '12.3(8)XW1') flag++;
else if (version == '12.3(8)XW') flag++;
else if (version == '12.3(8)XU5') flag++;
else if (version == '12.3(8)XU4') flag++;
else if (version == '12.3(8)XU3') flag++;
else if (version == '12.3(8)XU2') flag++;
else if (version == '12.3(8)XU1') flag++;
else if (version == '12.3(8)XU') flag++;
else if (version == '12.3(7)XS2') flag++;
else if (version == '12.3(7)XS1') flag++;
else if (version == '12.3(7)XS') flag++;
else if (version == '12.3(7)XR6') flag++;
else if (version == '12.3(7)XR5') flag++;
else if (version == '12.3(7)XR4') flag++;
else if (version == '12.3(7)XR3') flag++;
else if (version == '12.3(7)XR2') flag++;
else if (version == '12.3(7)XR') flag++;
else if (version == '12.3(4)XQ1') flag++;
else if (version == '12.3(4)XQ') flag++;
else if (version == '12.3(11)XL1') flag++;
else if (version == '12.3(11)XL') flag++;
else if (version == '12.3(4)XK4') flag++;
else if (version == '12.3(4)XK3') flag++;
else if (version == '12.3(4)XK2') flag++;
else if (version == '12.3(4)XK1') flag++;
else if (version == '12.3(4)XK') flag++;
else if (version == '12.3(7)XJ2') flag++;
else if (version == '12.3(7)XJ1') flag++;
else if (version == '12.3(7)XJ') flag++;
else if (version == '12.3(7)XI8d') flag++;
else if (version == '12.3(7)XI8c') flag++;
else if (version == '12.3(7)XI8a') flag++;
else if (version == '12.3(7)XI8') flag++;
else if (version == '12.3(7)XI7b') flag++;
else if (version == '12.3(7)XI7a') flag++;
else if (version == '12.3(7)XI7') flag++;
else if (version == '12.3(7)XI6') flag++;
else if (version == '12.3(7)XI5') flag++;
else if (version == '12.3(7)XI4') flag++;
else if (version == '12.3(7)XI3') flag++;
else if (version == '12.3(7)XI2a') flag++;
else if (version == '12.3(7)XI2') flag++;
else if (version == '12.3(7)XI1c') flag++;
else if (version == '12.3(7)XI1b') flag++;
else if (version == '12.3(7)XI1') flag++;
else if (version == '12.3(4)XG5') flag++;
else if (version == '12.3(4)XG4') flag++;
else if (version == '12.3(4)XG3') flag++;
else if (version == '12.3(4)XG2') flag++;
else if (version == '12.3(4)XG1') flag++;
else if (version == '12.3(4)XG') flag++;
else if (version == '12.3(2)XF') flag++;
else if (version == '12.3(2)XE4') flag++;
else if (version == '12.3(2)XE3') flag++;
else if (version == '12.3(2)XE2') flag++;
else if (version == '12.3(2)XE1') flag++;
else if (version == '12.3(2)XE') flag++;
else if (version == '12.3(4)XD4') flag++;
else if (version == '12.3(4)XD3') flag++;
else if (version == '12.3(4)XD2') flag++;
else if (version == '12.3(4)XD1') flag++;
else if (version == '12.3(4)XD') flag++;
else if (version == '12.3(2)XC4') flag++;
else if (version == '12.3(2)XC3') flag++;
else if (version == '12.3(2)XC2') flag++;
else if (version == '12.3(2)XC1') flag++;
else if (version == '12.3(2)XC') flag++;
else if (version == '12.3(2)XB3') flag++;
else if (version == '12.3(2)XB1') flag++;
else if (version == '12.3(2)XB') flag++;
else if (version == '12.3(2)XA5') flag++;
else if (version == '12.3(2)XA4') flag++;
else if (version == '12.3(2)XA3') flag++;
else if (version == '12.3(2)XA2') flag++;
else if (version == '12.3(2)XA1') flag++;
else if (version == '12.3(2)XA') flag++;
else if (version == '12.3(4)TPC11a') flag++;
else if (version == '12.3(14)T7') flag++;
else if (version == '12.3(14)T6') flag++;
else if (version == '12.3(14)T5') flag++;
else if (version == '12.3(14)T3') flag++;
else if (version == '12.3(14)T2') flag++;
else if (version == '12.3(14)T1') flag++;
else if (version == '12.3(14)T') flag++;
else if (version == '12.3(11)T9') flag++;
else if (version == '12.3(11)T8') flag++;
else if (version == '12.3(11)T7') flag++;
else if (version == '12.3(11)T6') flag++;
else if (version == '12.3(11)T5') flag++;
else if (version == '12.3(11)T4') flag++;
else if (version == '12.3(11)T3') flag++;
else if (version == '12.3(11)T2') flag++;
else if (version == '12.3(11)T11') flag++;
else if (version == '12.3(11)T10') flag++;
else if (version == '12.3(11)T') flag++;
else if (version == '12.3(8)T9') flag++;
else if (version == '12.3(8)T8') flag++;
else if (version == '12.3(8)T7') flag++;
else if (version == '12.3(8)T6') flag++;
else if (version == '12.3(8)T5') flag++;
else if (version == '12.3(8)T4') flag++;
else if (version == '12.3(8)T3') flag++;
else if (version == '12.3(8)T11') flag++;
else if (version == '12.3(8)T10') flag++;
else if (version == '12.3(8)T1') flag++;
else if (version == '12.3(8)T') flag++;
else if (version == '12.3(7)T9') flag++;
else if (version == '12.3(7)T8') flag++;
else if (version == '12.3(7)T7') flag++;
else if (version == '12.3(7)T6') flag++;
else if (version == '12.3(7)T4') flag++;
else if (version == '12.3(7)T3') flag++;
else if (version == '12.3(7)T2') flag++;
else if (version == '12.3(7)T12') flag++;
else if (version == '12.3(7)T11') flag++;
else if (version == '12.3(7)T10') flag++;
else if (version == '12.3(7)T1') flag++;
else if (version == '12.3(7)T') flag++;
else if (version == '12.3(4)T9') flag++;
else if (version == '12.3(4)T8') flag++;
else if (version == '12.3(4)T7') flag++;
else if (version == '12.3(4)T6') flag++;
else if (version == '12.3(4)T4') flag++;
else if (version == '12.3(4)T3') flag++;
else if (version == '12.3(4)T2a') flag++;
else if (version == '12.3(4)T2') flag++;
else if (version == '12.3(4)T13') flag++;
else if (version == '12.3(4)T11') flag++;
else if (version == '12.3(4)T10') flag++;
else if (version == '12.3(4)T1') flag++;
else if (version == '12.3(4)T') flag++;
else if (version == '12.3(2)T9') flag++;
else if (version == '12.3(2)T8') flag++;
else if (version == '12.3(2)T7') flag++;
else if (version == '12.3(2)T6') flag++;
else if (version == '12.3(2)T5') flag++;
else if (version == '12.3(2)T4') flag++;
else if (version == '12.3(2)T3') flag++;
else if (version == '12.3(2)T2') flag++;
else if (version == '12.3(2)T1') flag++;
else if (version == '12.3(2)T') flag++;
else if (version == '12.3(2)JK2') flag++;
else if (version == '12.3(2)JK1') flag++;
else if (version == '12.3(2)JK') flag++;
else if (version == '12.3(7)JA2') flag++;
else if (version == '12.3(7)JA1') flag++;
else if (version == '12.3(7)JA') flag++;
else if (version == '12.3(4)JA1') flag++;
else if (version == '12.3(4)JA') flag++;
else if (version == '12.3(2)JA5') flag++;
else if (version == '12.3(2)JA2') flag++;
else if (version == '12.3(2)JA1') flag++;
else if (version == '12.3(2)JA') flag++;
else if (version == '12.3(1a)BW') flag++;
else if (version == '12.3(17b)BC4') flag++;
else if (version == '12.3(17b)BC3') flag++;
else if (version == '12.3(17a)BC2') flag++;
else if (version == '12.3(17a)BC1') flag++;
else if (version == '12.3(17a)BC') flag++;
else if (version == '12.3(13a)BC6') flag++;
else if (version == '12.3(13a)BC5') flag++;
else if (version == '12.3(13a)BC4') flag++;
else if (version == '12.3(13a)BC3') flag++;
else if (version == '12.3(13a)BC2') flag++;
else if (version == '12.3(13a)BC1') flag++;
else if (version == '12.3(13a)BC') flag++;
else if (version == '12.3(9a)BC9') flag++;
else if (version == '12.3(9a)BC8') flag++;
else if (version == '12.3(9a)BC7') flag++;
else if (version == '12.3(9a)BC6') flag++;
else if (version == '12.3(9a)BC5') flag++;
else if (version == '12.3(9a)BC4') flag++;
else if (version == '12.3(9a)BC3') flag++;
else if (version == '12.3(9a)BC2') flag++;
else if (version == '12.3(9a)BC1') flag++;
else if (version == '12.3(9a)BC') flag++;
else if (version == '12.3(5a)B5') flag++;
else if (version == '12.3(5a)B4') flag++;
else if (version == '12.3(5a)B3') flag++;
else if (version == '12.3(5a)B2') flag++;
else if (version == '12.3(5a)B1') flag++;
else if (version == '12.3(5a)B') flag++;
else if (version == '12.3(3)B1') flag++;
else if (version == '12.3(3)B') flag++;
else if (version == '12.3(1a)B') flag++;
else if (version == '12.3(17b)') flag++;
else if (version == '12.3(17a)') flag++;
else if (version == '12.3(17)') flag++;
else if (version == '12.3(16a)') flag++;
else if (version == '12.3(16)') flag++;
else if (version == '12.3(15b)') flag++;
else if (version == '12.3(15a)') flag++;
else if (version == '12.3(15)') flag++;
else if (version == '12.3(13b)') flag++;
else if (version == '12.3(13a)') flag++;
else if (version == '12.3(13)') flag++;
else if (version == '12.3(12e)') flag++;
else if (version == '12.3(12d)') flag++;
else if (version == '12.3(12c)') flag++;
else if (version == '12.3(12b)') flag++;
else if (version == '12.3(12a)') flag++;
else if (version == '12.3(12)') flag++;
else if (version == '12.3(10f)') flag++;
else if (version == '12.3(10e)') flag++;
else if (version == '12.3(10d)') flag++;
else if (version == '12.3(10c)') flag++;
else if (version == '12.3(10b)') flag++;
else if (version == '12.3(10a)') flag++;
else if (version == '12.3(10)') flag++;
else if (version == '12.3(9e)') flag++;
else if (version == '12.3(9d)') flag++;
else if (version == '12.3(9c)') flag++;
else if (version == '12.3(9b)') flag++;
else if (version == '12.3(9a)') flag++;
else if (version == '12.3(9)') flag++;
else if (version == '12.3(6f)') flag++;
else if (version == '12.3(6e)') flag++;
else if (version == '12.3(6c)') flag++;
else if (version == '12.3(6b)') flag++;
else if (version == '12.3(6a)') flag++;
else if (version == '12.3(6)') flag++;
else if (version == '12.3(5f)') flag++;
else if (version == '12.3(5e)') flag++;
else if (version == '12.3(5d)') flag++;
else if (version == '12.3(5c)') flag++;
else if (version == '12.3(5b)') flag++;
else if (version == '12.3(5a)') flag++;
else if (version == '12.3(5)') flag++;
else if (version == '12.3(3i)') flag++;
else if (version == '12.3(3h)') flag++;
else if (version == '12.3(3g)') flag++;
else if (version == '12.3(3f)') flag++;
else if (version == '12.3(3e)') flag++;
else if (version == '12.3(3c)') flag++;
else if (version == '12.3(3b)') flag++;
else if (version == '12.3(3a)') flag++;
else if (version == '12.3(3)') flag++;
else if (version == '12.3(1a)') flag++;
else if (version == '12.3(1)') flag++;
else if (version == '12.2(28)ZX') flag++;
else if (version == '12.2(28b)ZV1') flag++;
else if (version == '12.2(18)ZU1') flag++;
else if (version == '12.2(18)ZU') flag++;
else if (version == '12.2(13)ZP4') flag++;
else if (version == '12.2(13)ZP3') flag++;
else if (version == '12.2(13)ZP2') flag++;
else if (version == '12.2(13)ZP1') flag++;
else if (version == '12.2(13)ZP') flag++;
else if (version == '12.2(15)ZL1') flag++;
else if (version == '12.2(15)ZL') flag++;
else if (version == '12.2(15)ZJ5') flag++;
else if (version == '12.2(15)ZJ3') flag++;
else if (version == '12.2(15)ZJ2') flag++;
else if (version == '12.2(15)ZJ1') flag++;
else if (version == '12.2(15)ZJ') flag++;
else if (version == '12.2(13)ZH8') flag++;
else if (version == '12.2(13)ZH7') flag++;
else if (version == '12.2(13)ZH6') flag++;
else if (version == '12.2(13)ZH5') flag++;
else if (version == '12.2(13)ZH4') flag++;
else if (version == '12.2(13)ZH3') flag++;
else if (version == '12.2(13)ZH2') flag++;
else if (version == '12.2(13)ZH1') flag++;
else if (version == '12.2(13)ZH') flag++;
else if (version == '12.2(13)ZG') flag++;
else if (version == '12.2(13)ZF2') flag++;
else if (version == '12.2(13)ZF1') flag++;
else if (version == '12.2(13)ZF') flag++;
else if (version == '12.2(13)ZE') flag++;
else if (version == '12.2(13)ZD4') flag++;
else if (version == '12.2(13)ZD3') flag++;
else if (version == '12.2(13)ZD2') flag++;
else if (version == '12.2(13)ZD1') flag++;
else if (version == '12.2(13)ZD') flag++;
else if (version == '12.2(13)ZC') flag++;
else if (version == '12.2(11)ZC') flag++;
else if (version == '12.2(8)ZB8') flag++;
else if (version == '12.2(8)ZB7') flag++;
else if (version == '12.2(8)ZB6') flag++;
else if (version == '12.2(8)ZB5') flag++;
else if (version == '12.2(8)ZB4a') flag++;
else if (version == '12.2(8)ZB4') flag++;
else if (version == '12.2(8)ZB3') flag++;
else if (version == '12.2(8)ZB2') flag++;
else if (version == '12.2(8)ZB1') flag++;
else if (version == '12.2(8)ZB') flag++;
else if (version == '12.2(14)ZA7') flag++;
else if (version == '12.2(14)ZA6') flag++;
else if (version == '12.2(14)ZA5') flag++;
else if (version == '12.2(14)ZA4') flag++;
else if (version == '12.2(14)ZA3') flag++;
else if (version == '12.2(14)ZA2') flag++;
else if (version == '12.2(14)ZA1') flag++;
else if (version == '12.2(14)ZA') flag++;
else if (version == '12.2(9)ZA') flag++;
else if (version == '12.2(11)YZ2') flag++;
else if (version == '12.2(11)YZ1') flag++;
else if (version == '12.2(11)YZ') flag++;
else if (version == '12.2(8)YY4') flag++;
else if (version == '12.2(8)YY3') flag++;
else if (version == '12.2(8)YY2') flag++;
else if (version == '12.2(8)YY1') flag++;
else if (version == '12.2(8)YY') flag++;
else if (version == '12.2(11)YX1') flag++;
else if (version == '12.2(11)YX') flag++;
else if (version == '12.2(8)YW3') flag++;
else if (version == '12.2(8)YW2') flag++;
else if (version == '12.2(8)YW1') flag++;
else if (version == '12.2(8)YW') flag++;
else if (version == '12.2(11)YV1') flag++;
else if (version == '12.2(11)YV') flag++;
else if (version == '12.2(11)YU') flag++;
else if (version == '12.2(11)YT2') flag++;
else if (version == '12.2(11)YT1') flag++;
else if (version == '12.2(11)YT') flag++;
else if (version == '12.2(11)YR') flag++;
else if (version == '12.2(11)YQ') flag++;
else if (version == '12.2(11)YP3') flag++;
else if (version == '12.2(8)YN1') flag++;
else if (version == '12.2(8)YN') flag++;
else if (version == '12.2(8)YM') flag++;
else if (version == '12.2(8)YL') flag++;
else if (version == '12.2(2)YK1') flag++;
else if (version == '12.2(2)YK') flag++;
else if (version == '12.2(8)YJ1') flag++;
else if (version == '12.2(8)YJ') flag++;
else if (version == '12.2(4)YH') flag++;
else if (version == '12.2(4)YG') flag++;
else if (version == '12.2(4)YF') flag++;
else if (version == '12.2(9)YE') flag++;
else if (version == '12.2(8)YD3') flag++;
else if (version == '12.2(8)YD2') flag++;
else if (version == '12.2(8)YD1') flag++;
else if (version == '12.2(8)YD') flag++;
else if (version == '12.2(2)YC4') flag++;
else if (version == '12.2(2)YC3') flag++;
else if (version == '12.2(2)YC2') flag++;
else if (version == '12.2(2)YC1') flag++;
else if (version == '12.2(2)YC') flag++;
else if (version == '12.2(4)YB') flag++;
else if (version == '12.2(4)YA9') flag++;
else if (version == '12.2(4)YA8') flag++;
else if (version == '12.2(4)YA7') flag++;
else if (version == '12.2(4)YA6') flag++;
else if (version == '12.2(4)YA5') flag++;
else if (version == '12.2(4)YA4') flag++;
else if (version == '12.2(4)YA3') flag++;
else if (version == '12.2(4)YA2') flag++;
else if (version == '12.2(4)YA12') flag++;
else if (version == '12.2(4)YA11') flag++;
else if (version == '12.2(4)YA10') flag++;
else if (version == '12.2(4)YA1') flag++;
else if (version == '12.2(4)YA') flag++;
else if (version == '12.2(4)XW') flag++;
else if (version == '12.2(4)XV5') flag++;
else if (version == '12.2(4)XV4a') flag++;
else if (version == '12.2(4)XV4') flag++;
else if (version == '12.2(4)XV3') flag++;
else if (version == '12.2(4)XV2') flag++;
else if (version == '12.2(4)XV1') flag++;
else if (version == '12.2(4)XV') flag++;
else if (version == '12.2(2)XU1') flag++;
else if (version == '12.2(2)XU') flag++;
else if (version == '12.2(2)XT3') flag++;
else if (version == '12.2(2)XT2') flag++;
else if (version == '12.2(2)XT1') flag++;
else if (version == '12.2(2)XT') flag++;
else if (version == '12.2(1)XS2') flag++;
else if (version == '12.2(1)XS1a') flag++;
else if (version == '12.2(1)XS1') flag++;
else if (version == '12.2(1)XS') flag++;
else if (version == '12.2(15)XR2') flag++;
else if (version == '12.2(15)XR1') flag++;
else if (version == '12.2(15)XR') flag++;
else if (version == '12.2(4)XR') flag++;
else if (version == '12.2(2)XR') flag++;
else if (version == '12.2(2)XQ1') flag++;
else if (version == '12.2(2)XQ') flag++;
else if (version == '12.2(2)XN') flag++;
else if (version == '12.2(4)XM4') flag++;
else if (version == '12.2(4)XM3') flag++;
else if (version == '12.2(4)XM2') flag++;
else if (version == '12.2(4)XM1') flag++;
else if (version == '12.2(4)XM') flag++;
else if (version == '12.2(4)XL6') flag++;
else if (version == '12.2(4)XL5') flag++;
else if (version == '12.2(4)XL4') flag++;
else if (version == '12.2(4)XL3') flag++;
else if (version == '12.2(4)XL2') flag++;
else if (version == '12.2(4)XL1') flag++;
else if (version == '12.2(4)XL') flag++;
else if (version == '12.2(2)XK3') flag++;
else if (version == '12.2(2)XK2') flag++;
else if (version == '12.2(2)XK1') flag++;
else if (version == '12.2(2)XK') flag++;
else if (version == '12.2(2)XJ') flag++;
else if (version == '12.2(2)XI2') flag++;
else if (version == '12.2(2)XI1') flag++;
else if (version == '12.2(2)XI') flag++;
else if (version == '12.2(2)XH2') flag++;
else if (version == '12.2(2)XH1') flag++;
else if (version == '12.2(2)XH') flag++;
else if (version == '12.2(2)XG1') flag++;
else if (version == '12.2(2)XG') flag++;
else if (version == '12.2(4)XF1') flag++;
else if (version == '12.2(4)XF') flag++;
else if (version == '12.2(2)XF2') flag++;
else if (version == '12.2(2)XF1') flag++;
else if (version == '12.2(2)XF') flag++;
else if (version == '12.2(1)XF1') flag++;
else if (version == '12.2(1)XF') flag++;
else if (version == '12.2(1)XE2') flag++;
else if (version == '12.2(1)XE1') flag++;
else if (version == '12.2(1)XE') flag++;
else if (version == '12.2(1)XD4') flag++;
else if (version == '12.2(1)XD3') flag++;
else if (version == '12.2(1)XD2') flag++;
else if (version == '12.2(1)XD1') flag++;
else if (version == '12.2(1)XD') flag++;
else if (version == '12.2(2)XC2') flag++;
else if (version == '12.2(2)XC1') flag++;
else if (version == '12.2(2)XC') flag++;
else if (version == '12.2(1a)XC3') flag++;
else if (version == '12.2(1a)XC2') flag++;
else if (version == '12.2(1a)XC1') flag++;
else if (version == '12.2(1a)XC') flag++;
else if (version == '12.2(2)XB8') flag++;
else if (version == '12.2(2)XB7') flag++;
else if (version == '12.2(2)XB6') flag++;
else if (version == '12.2(2)XB5') flag++;
else if (version == '12.2(2)XB3') flag++;
else if (version == '12.2(2)XB2') flag++;
else if (version == '12.2(2)XB15') flag++;
else if (version == '12.2(2)XB14') flag++;
else if (version == '12.2(2)XB12') flag++;
else if (version == '12.2(2)XB11') flag++;
else if (version == '12.2(2)XB10') flag++;
else if (version == '12.2(2)XB1') flag++;
else if (version == '12.2(2)XA5') flag++;
else if (version == '12.2(2)XA4') flag++;
else if (version == '12.2(2)XA3') flag++;
else if (version == '12.2(2)XA2') flag++;
else if (version == '12.2(2)XA1') flag++;
else if (version == '12.2(2)XA') flag++;
else if (version == '12.2(28)VZ') flag++;
else if (version == '12.2(8)TPC10a') flag++;
else if (version == '12.2(15)T9') flag++;
else if (version == '12.2(15)T8') flag++;
else if (version == '12.2(15)T7') flag++;
else if (version == '12.2(15)T5') flag++;
else if (version == '12.2(15)T4e') flag++;
else if (version == '12.2(15)T4') flag++;
else if (version == '12.2(15)T2') flag++;
else if (version == '12.2(15)T16') flag++;
else if (version == '12.2(15)T15') flag++;
else if (version == '12.2(15)T14') flag++;
else if (version == '12.2(15)T13') flag++;
else if (version == '12.2(15)T12') flag++;
else if (version == '12.2(15)T11') flag++;
else if (version == '12.2(15)T10') flag++;
else if (version == '12.2(15)T1') flag++;
else if (version == '12.2(15)T') flag++;
else if (version == '12.2(13)T9') flag++;
else if (version == '12.2(13)T8') flag++;
else if (version == '12.2(13)T5') flag++;
else if (version == '12.2(13)T4') flag++;
else if (version == '12.2(13)T3') flag++;
else if (version == '12.2(13)T2') flag++;
else if (version == '12.2(13)T16') flag++;
else if (version == '12.2(13)T14') flag++;
else if (version == '12.2(13)T13') flag++;
else if (version == '12.2(13)T12') flag++;
else if (version == '12.2(13)T11') flag++;
else if (version == '12.2(13)T10') flag++;
else if (version == '12.2(13)T1a') flag++;
else if (version == '12.2(13)T1') flag++;
else if (version == '12.2(13)T') flag++;
else if (version == '12.2(11)T9') flag++;
else if (version == '12.2(11)T8') flag++;
else if (version == '12.2(11)T6') flag++;
else if (version == '12.2(11)T5') flag++;
else if (version == '12.2(11)T4') flag++;
else if (version == '12.2(11)T3') flag++;
else if (version == '12.2(11)T2') flag++;
else if (version == '12.2(11)T11') flag++;
else if (version == '12.2(11)T10') flag++;
else if (version == '12.2(11)T1') flag++;
else if (version == '12.2(11)T') flag++;
else if (version == '12.2(8)T8') flag++;
else if (version == '12.2(8)T7') flag++;
else if (version == '12.2(8)T5') flag++;
else if (version == '12.2(8)T4') flag++;
else if (version == '12.2(8)T3') flag++;
else if (version == '12.2(8)T2') flag++;
else if (version == '12.2(8)T10') flag++;
else if (version == '12.2(8)T1') flag++;
else if (version == '12.2(8)T') flag++;
else if (version == '12.2(4)T7') flag++;
else if (version == '12.2(4)T6') flag++;
else if (version == '12.2(4)T5') flag++;
else if (version == '12.2(4)T3') flag++;
else if (version == '12.2(4)T2') flag++;
else if (version == '12.2(4)T1') flag++;
else if (version == '12.2(4)T') flag++;
else if (version == '12.2(2)T4') flag++;
else if (version == '12.2(2)T3') flag++;
else if (version == '12.2(2)T2') flag++;
else if (version == '12.2(2)T1') flag++;
else if (version == '12.2(2)T') flag++;
else if (version == '12.2(14)SZ6') flag++;
else if (version == '12.2(14)SZ5') flag++;
else if (version == '12.2(14)SZ4') flag++;
else if (version == '12.2(14)SZ3') flag++;
else if (version == '12.2(14)SZ2') flag++;
else if (version == '12.2(14)SZ1') flag++;
else if (version == '12.2(14)SZ') flag++;
else if (version == '12.2(14)SY5') flag++;
else if (version == '12.2(14)SY4') flag++;
else if (version == '12.2(14)SY3') flag++;
else if (version == '12.2(14)SY2') flag++;
else if (version == '12.2(14)SY1') flag++;
else if (version == '12.2(14)SY') flag++;
else if (version == '12.2(18)SXF4') flag++;
else if (version == '12.2(18)SXF3') flag++;
else if (version == '12.2(18)SXF2') flag++;
else if (version == '12.2(18)SXF1') flag++;
else if (version == '12.2(18)SXF') flag++;
else if (version == '12.2(18)SXE6a') flag++;
else if (version == '12.2(18)SXE6') flag++;
else if (version == '12.2(18)SXE5') flag++;
else if (version == '12.2(18)SXE4') flag++;
else if (version == '12.2(18)SXE3') flag++;
else if (version == '12.2(18)SXE2') flag++;
else if (version == '12.2(18)SXE1') flag++;
else if (version == '12.2(18)SXE') flag++;
else if (version == '12.2(18)SXD7a') flag++;
else if (version == '12.2(18)SXD7') flag++;
else if (version == '12.2(18)SXD6') flag++;
else if (version == '12.2(18)SXD5') flag++;
else if (version == '12.2(18)SXD4') flag++;
else if (version == '12.2(18)SXD3') flag++;
else if (version == '12.2(18)SXD2') flag++;
else if (version == '12.2(18)SXD1') flag++;
else if (version == '12.2(18)SXD') flag++;
else if (version == '12.2(17d)SXB9') flag++;
else if (version == '12.2(17d)SXB8') flag++;
else if (version == '12.2(17d)SXB7') flag++;
else if (version == '12.2(17d)SXB6') flag++;
else if (version == '12.2(17d)SXB5') flag++;
else if (version == '12.2(17d)SXB4') flag++;
else if (version == '12.2(17d)SXB3') flag++;
else if (version == '12.2(17d)SXB2') flag++;
else if (version == '12.2(17d)SXB11a') flag++;
else if (version == '12.2(17d)SXB11') flag++;
else if (version == '12.2(17d)SXB10') flag++;
else if (version == '12.2(17d)SXB1') flag++;
else if (version == '12.2(17d)SXB') flag++;
else if (version == '12.2(17b)SXA2') flag++;
else if (version == '12.2(17b)SXA') flag++;
else if (version == '12.2(17a)SX4') flag++;
else if (version == '12.2(17a)SX3') flag++;
else if (version == '12.2(17a)SX2') flag++;
else if (version == '12.2(17a)SX1') flag++;
else if (version == '12.2(17a)SX') flag++;
else if (version == '12.2(14)SX2') flag++;
else if (version == '12.2(14)SX1') flag++;
else if (version == '12.2(14)SX') flag++;
else if (version == '12.2(25)SW9') flag++;
else if (version == '12.2(25)SW8') flag++;
else if (version == '12.2(25)SW7') flag++;
else if (version == '12.2(25)SW6') flag++;
else if (version == '12.2(25)SW5') flag++;
else if (version == '12.2(25)SW4a') flag++;
else if (version == '12.2(25)SW4') flag++;
else if (version == '12.2(25)SW3a') flag++;
else if (version == '12.2(25)SW3') flag++;
else if (version == '12.2(25)SW2') flag++;
else if (version == '12.2(25)SW10') flag++;
else if (version == '12.2(25)SW1') flag++;
else if (version == '12.2(25)SW') flag++;
else if (version == '12.2(23)SW1') flag++;
else if (version == '12.2(23)SW') flag++;
else if (version == '12.2(21)SW1') flag++;
else if (version == '12.2(21)SW') flag++;
else if (version == '12.2(20)SW') flag++;
else if (version == '12.2(19)SW') flag++;
else if (version == '12.2(18)SW') flag++;
else if (version == '12.2(29a)SV') flag++;
else if (version == '12.2(29)SV2') flag++;
else if (version == '12.2(29)SV1') flag++;
else if (version == '12.2(29)SV') flag++;
else if (version == '12.2(28)SV1') flag++;
else if (version == '12.2(28)SV') flag++;
else if (version == '12.2(27)SV4') flag++;
else if (version == '12.2(27)SV3') flag++;
else if (version == '12.2(27)SV2') flag++;
else if (version == '12.2(27)SV1') flag++;
else if (version == '12.2(27)SV') flag++;
else if (version == '12.2(26)SV1') flag++;
else if (version == '12.2(26)SV') flag++;
else if (version == '12.2(25)SV3') flag++;
else if (version == '12.2(25)SV2') flag++;
else if (version == '12.2(25)SV') flag++;
else if (version == '12.2(24)SV1') flag++;
else if (version == '12.2(24)SV') flag++;
else if (version == '12.2(23)SV1') flag++;
else if (version == '12.2(23)SV') flag++;
else if (version == '12.2(22)SV1') flag++;
else if (version == '12.2(22)SV') flag++;
else if (version == '12.2(18)SV3') flag++;
else if (version == '12.2(18)SV2') flag++;
else if (version == '12.2(18)SV1') flag++;
else if (version == '12.2(18)SV') flag++;
else if (version == '12.2(14)SU2') flag++;
else if (version == '12.2(14)SU1') flag++;
else if (version == '12.2(14)SU') flag++;
else if (version == '12.2(18)SO6') flag++;
else if (version == '12.2(18)SO5') flag++;
else if (version == '12.2(18)SO4') flag++;
else if (version == '12.2(18)SO3') flag++;
else if (version == '12.2(18)SO2') flag++;
else if (version == '12.2(18)SO1') flag++;
else if (version == '12.2(29)SM1') flag++;
else if (version == '12.2(29)SM') flag++;
else if (version == '12.2(25)SG1') flag++;
else if (version == '12.2(25)SG') flag++;
else if (version == '12.2(25)SED1') flag++;
else if (version == '12.2(25)SED') flag++;
else if (version == '12.2(25)SEC2') flag++;
else if (version == '12.2(25)SEC1') flag++;
else if (version == '12.2(25)SEC') flag++;
else if (version == '12.2(25)SEB4') flag++;
else if (version == '12.2(25)SEB3') flag++;
else if (version == '12.2(25)SEB2') flag++;
else if (version == '12.2(25)SEB1') flag++;
else if (version == '12.2(25)SEB') flag++;
else if (version == '12.2(25)SEA') flag++;
else if (version == '12.2(25)SE3') flag++;
else if (version == '12.2(25)SE2') flag++;
else if (version == '12.2(25)SE') flag++;
else if (version == '12.2(20)SE4') flag++;
else if (version == '12.2(20)SE3') flag++;
else if (version == '12.2(20)SE2') flag++;
else if (version == '12.2(20)SE1') flag++;
else if (version == '12.2(20)SE') flag++;
else if (version == '12.2(18)SE1') flag++;
else if (version == '12.2(18)SE') flag++;
else if (version == '12.2(27)SBC5') flag++;
else if (version == '12.2(27)SBC4') flag++;
else if (version == '12.2(27)SBC3') flag++;
else if (version == '12.2(27)SBC2') flag++;
else if (version == '12.2(27)SBC1') flag++;
else if (version == '12.2(27)SBC') flag++;
else if (version == '12.2(28)SB1') flag++;
else if (version == '12.2(28)SB') flag++;
else if (version == '12.2(30)S1') flag++;
else if (version == '12.2(30)S') flag++;
else if (version == '12.2(25)S9') flag++;
else if (version == '12.2(25)S8') flag++;
else if (version == '12.2(25)S7') flag++;
else if (version == '12.2(25)S6') flag++;
else if (version == '12.2(25)S5') flag++;
else if (version == '12.2(25)S4') flag++;
else if (version == '12.2(25)S3') flag++;
else if (version == '12.2(25)S2') flag++;
else if (version == '12.2(25)S10') flag++;
else if (version == '12.2(25)S1') flag++;
else if (version == '12.2(25)S') flag++;
else if (version == '12.2(22)S2') flag++;
else if (version == '12.2(22)S1') flag++;
else if (version == '12.2(22)S') flag++;
else if (version == '12.2(20)S9') flag++;
else if (version == '12.2(20)S8') flag++;
else if (version == '12.2(20)S7') flag++;
else if (version == '12.2(20)S6') flag++;
else if (version == '12.2(20)S5') flag++;
else if (version == '12.2(20)S4') flag++;
else if (version == '12.2(20)S3') flag++;
else if (version == '12.2(20)S2') flag++;
else if (version == '12.2(20)S12') flag++;
else if (version == '12.2(20)S11') flag++;
else if (version == '12.2(20)S10') flag++;
else if (version == '12.2(20)S1') flag++;
else if (version == '12.2(20)S') flag++;
else if (version == '12.2(18)S9') flag++;
else if (version == '12.2(18)S8') flag++;
else if (version == '12.2(18)S7') flag++;
else if (version == '12.2(18)S6') flag++;
else if (version == '12.2(18)S5') flag++;
else if (version == '12.2(18)S4') flag++;
else if (version == '12.2(18)S3') flag++;
else if (version == '12.2(18)S2') flag++;
else if (version == '12.2(18)S12') flag++;
else if (version == '12.2(18)S11') flag++;
else if (version == '12.2(18)S10') flag++;
else if (version == '12.2(18)S1') flag++;
else if (version == '12.2(18)S') flag++;
else if (version == '12.2(14)S9') flag++;
else if (version == '12.2(14)S8') flag++;
else if (version == '12.2(14)S7') flag++;
else if (version == '12.2(14)S5') flag++;
else if (version == '12.2(14)S3') flag++;
else if (version == '12.2(14)S2') flag++;
else if (version == '12.2(14)S17') flag++;
else if (version == '12.2(14)S16') flag++;
else if (version == '12.2(14)S15') flag++;
else if (version == '12.2(14)S14') flag++;
else if (version == '12.2(14)S13') flag++;
else if (version == '12.2(14)S12') flag++;
else if (version == '12.2(14)S11') flag++;
else if (version == '12.2(14)S10') flag++;
else if (version == '12.2(14)S1') flag++;
else if (version == '12.2(14)S') flag++;
else if (version == '12.2(9)S') flag++;
else if (version == '12.2(15)MC2g') flag++;
else if (version == '12.2(15)MC2f') flag++;
else if (version == '12.2(15)MC2e') flag++;
else if (version == '12.2(15)MC2c') flag++;
else if (version == '12.2(15)MC2b') flag++;
else if (version == '12.2(15)MC2a') flag++;
else if (version == '12.2(15)MC2') flag++;
else if (version == '12.2(15)MC1c') flag++;
else if (version == '12.2(15)MC1b') flag++;
else if (version == '12.2(15)MC1a') flag++;
else if (version == '12.2(15)MC1') flag++;
else if (version == '12.2(8)MC2d') flag++;
else if (version == '12.2(8)MC2c') flag++;
else if (version == '12.2(8)MC2b') flag++;
else if (version == '12.2(8)MC2a') flag++;
else if (version == '12.2(8)MC2') flag++;
else if (version == '12.2(8)MC1') flag++;
else if (version == '12.2(4)MB9a') flag++;
else if (version == '12.2(4)MB9') flag++;
else if (version == '12.2(4)MB8') flag++;
else if (version == '12.2(4)MB7') flag++;
else if (version == '12.2(4)MB6') flag++;
else if (version == '12.2(4)MB5') flag++;
else if (version == '12.2(4)MB4') flag++;
else if (version == '12.2(4)MB3') flag++;
else if (version == '12.2(4)MB2') flag++;
else if (version == '12.2(4)MB13c') flag++;
else if (version == '12.2(4)MB13b') flag++;
else if (version == '12.2(4)MB13a') flag++;
else if (version == '12.2(4)MB13') flag++;
else if (version == '12.2(4)MB12') flag++;
else if (version == '12.2(4)MB11') flag++;
else if (version == '12.2(4)MB10') flag++;
else if (version == '12.2(4)MB1') flag++;
else if (version == '12.2(1)MB1') flag++;
else if (version == '12.2(12h)M1') flag++;
else if (version == '12.2(12b)M1') flag++;
else if (version == '12.2(6c)M1') flag++;
else if (version == '12.2(1)M0') flag++;
else if (version == '12.2(15)JK5') flag++;
else if (version == '12.2(15)JK4') flag++;
else if (version == '12.2(15)JK3') flag++;
else if (version == '12.2(15)JK2') flag++;
else if (version == '12.2(15)JK1') flag++;
else if (version == '12.2(15)JK') flag++;
else if (version == '12.2(15)JA') flag++;
else if (version == '12.2(13)JA4') flag++;
else if (version == '12.2(13)JA3') flag++;
else if (version == '12.2(13)JA2') flag++;
else if (version == '12.2(13)JA1') flag++;
else if (version == '12.2(13)JA') flag++;
else if (version == '12.2(11)JA3') flag++;
else if (version == '12.2(11)JA2') flag++;
else if (version == '12.2(11)JA1') flag++;
else if (version == '12.2(11)JA') flag++;
else if (version == '12.2(8)JA') flag++;
else if (version == '12.2(4)JA1') flag++;
else if (version == '12.2(4)JA') flag++;
else if (version == '12.2(18)IXD') flag++;
else if (version == '12.2(18)IXC') flag++;
else if (version == '12.2(18)IXB2') flag++;
else if (version == '12.2(18)IXB1') flag++;
else if (version == '12.2(18)IXB') flag++;
else if (version == '12.2(18)IXA') flag++;
else if (version == '12.2(25)FY') flag++;
else if (version == '12.2(25)FX') flag++;
else if (version == '12.2(25)EZ1') flag++;
else if (version == '12.2(25)EZ') flag++;
else if (version == '12.2(25)EY4') flag++;
else if (version == '12.2(25)EY3') flag++;
else if (version == '12.2(25)EY2') flag++;
else if (version == '12.2(25)EY1') flag++;
else if (version == '12.2(25)EY') flag++;
else if (version == '12.2(25)EX1') flag++;
else if (version == '12.2(25)EX') flag++;
else if (version == '12.2(20)EX') flag++;
else if (version == '12.2(25)EWA5') flag++;
else if (version == '12.2(25)EWA4') flag++;
else if (version == '12.2(25)EWA3') flag++;
else if (version == '12.2(25)EWA2') flag++;
else if (version == '12.2(25)EWA1') flag++;
else if (version == '12.2(25)EWA') flag++;
else if (version == '12.2(20)EWA4') flag++;
else if (version == '12.2(20)EWA3') flag++;
else if (version == '12.2(20)EWA2') flag++;
else if (version == '12.2(20)EWA1') flag++;
else if (version == '12.2(20)EWA') flag++;
else if (version == '12.2(25)EW') flag++;
else if (version == '12.2(20)EW4') flag++;
else if (version == '12.2(20)EW3') flag++;
else if (version == '12.2(20)EW2') flag++;
else if (version == '12.2(20)EW1') flag++;
else if (version == '12.2(20)EW') flag++;
else if (version == '12.2(18)EW7') flag++;
else if (version == '12.2(18)EW6') flag++;
else if (version == '12.2(18)EW5') flag++;
else if (version == '12.2(18)EW4') flag++;
else if (version == '12.2(18)EW3') flag++;
else if (version == '12.2(18)EW2') flag++;
else if (version == '12.2(18)EW1') flag++;
else if (version == '12.2(18)EW') flag++;
else if (version == '12.2(20)EU2') flag++;
else if (version == '12.2(20)EU1') flag++;
else if (version == '12.2(20)EU') flag++;
else if (version == '12.2(2)DX3') flag++;
else if (version == '12.2(1)DX1') flag++;
else if (version == '12.2(1)DX') flag++;
else if (version == '12.2(2)DD4') flag++;
else if (version == '12.2(2)DD3') flag++;
else if (version == '12.2(2)DD2') flag++;
else if (version == '12.2(2)DD1') flag++;
else if (version == '12.2(2)DD') flag++;
else if (version == '12.2(12)DA9') flag++;
else if (version == '12.2(12)DA8') flag++;
else if (version == '12.2(12)DA7') flag++;
else if (version == '12.2(12)DA6') flag++;
else if (version == '12.2(12)DA5') flag++;
else if (version == '12.2(12)DA4') flag++;
else if (version == '12.2(12)DA3') flag++;
else if (version == '12.2(12)DA2') flag++;
else if (version == '12.2(12)DA10') flag++;
else if (version == '12.2(12)DA1') flag++;
else if (version == '12.2(12)DA') flag++;
else if (version == '12.2(10)DA6') flag++;
else if (version == '12.2(10)DA5') flag++;
else if (version == '12.2(10)DA4') flag++;
else if (version == '12.2(10)DA3') flag++;
else if (version == '12.2(10)DA2') flag++;
else if (version == '12.2(10)DA1') flag++;
else if (version == '12.2(10)DA') flag++;
else if (version == '12.2(7)DA') flag++;
else if (version == '12.2(5)DA1') flag++;
else if (version == '12.2(5)DA') flag++;
else if (version == '12.2(1b)DA1') flag++;
else if (version == '12.2(1b)DA') flag++;
else if (version == '12.2(15)CZ3') flag++;
else if (version == '12.2(15)CZ2') flag++;
else if (version == '12.2(15)CZ1') flag++;
else if (version == '12.2(15)CZ') flag++;
else if (version == '12.2(11)CY') flag++;
else if (version == '12.2(15)CX1') flag++;
else if (version == '12.2(15)CX') flag++;
else if (version == '12.2(11)CX1') flag++;
else if (version == '12.2(11)CX') flag++;
else if (version == '12.2(15)BZ2') flag++;
else if (version == '12.2(4)BZ2') flag++;
else if (version == '12.2(4)BZ1') flag++;
else if (version == '12.2(8)BY2') flag++;
else if (version == '12.2(8)BY1') flag++;
else if (version == '12.2(8)BY') flag++;
else if (version == '12.2(2)BY3') flag++;
else if (version == '12.2(2)BY2') flag++;
else if (version == '12.2(2)BY1') flag++;
else if (version == '12.2(2)BY') flag++;
else if (version == '12.2(16)BX3') flag++;
else if (version == '12.2(16)BX2') flag++;
else if (version == '12.2(16)BX1') flag++;
else if (version == '12.2(16)BX') flag++;
else if (version == '12.2(15)BX') flag++;
else if (version == '12.2(2)BX1') flag++;
else if (version == '12.2(2)BX') flag++;
else if (version == '12.2(4)BW2') flag++;
else if (version == '12.2(4)BW1a') flag++;
else if (version == '12.2(4)BW1') flag++;
else if (version == '12.2(4)BW') flag++;
else if (version == '12.2(15)BC2i') flag++;
else if (version == '12.2(15)BC2h') flag++;
else if (version == '12.2(15)BC2g') flag++;
else if (version == '12.2(15)BC2f') flag++;
else if (version == '12.2(15)BC2e') flag++;
else if (version == '12.2(15)BC2d') flag++;
else if (version == '12.2(15)BC2c') flag++;
else if (version == '12.2(15)BC2b') flag++;
else if (version == '12.2(15)BC2a') flag++;
else if (version == '12.2(15)BC2') flag++;
else if (version == '12.2(15)BC1g') flag++;
else if (version == '12.2(15)BC1f') flag++;
else if (version == '12.2(15)BC1e') flag++;
else if (version == '12.2(15)BC1d') flag++;
else if (version == '12.2(15)BC1c') flag++;
else if (version == '12.2(15)BC1b') flag++;
else if (version == '12.2(15)BC1a') flag++;
else if (version == '12.2(15)BC1') flag++;
else if (version == '12.2(11)BC3d') flag++;
else if (version == '12.2(11)BC3c') flag++;
else if (version == '12.2(11)BC3b') flag++;
else if (version == '12.2(11)BC3a') flag++;
else if (version == '12.2(11)BC3') flag++;
else if (version == '12.2(11)BC2a') flag++;
else if (version == '12.2(11)BC2') flag++;
else if (version == '12.2(11)BC1b') flag++;
else if (version == '12.2(11)BC1a') flag++;
else if (version == '12.2(11)BC1') flag++;
else if (version == '12.2(8)BC2a') flag++;
else if (version == '12.2(8)BC2') flag++;
else if (version == '12.2(8)BC1') flag++;
else if (version == '12.2(4)BC1b') flag++;
else if (version == '12.2(4)BC1a') flag++;
else if (version == '12.2(4)BC1') flag++;
else if (version == '12.2(16)B2') flag++;
else if (version == '12.2(16)B1') flag++;
else if (version == '12.2(16)B') flag++;
else if (version == '12.2(15)B') flag++;
else if (version == '12.2(4)B8') flag++;
else if (version == '12.2(4)B7') flag++;
else if (version == '12.2(4)B6') flag++;
else if (version == '12.2(4)B5') flag++;
else if (version == '12.2(4)B4') flag++;
else if (version == '12.2(4)B3') flag++;
else if (version == '12.2(4)B2') flag++;
else if (version == '12.2(4)B1') flag++;
else if (version == '12.2(4)B') flag++;
else if (version == '12.2(2)B7') flag++;
else if (version == '12.2(2)B6') flag++;
else if (version == '12.2(2)B5') flag++;
else if (version == '12.2(2)B4') flag++;
else if (version == '12.2(2)B3') flag++;
else if (version == '12.2(2)B2') flag++;
else if (version == '12.2(2)B1') flag++;
else if (version == '12.2(2)B') flag++;
else if (version == '12.2(32)') flag++;
else if (version == '12.2(31)') flag++;
else if (version == '12.2(29a)') flag++;
else if (version == '12.2(29)') flag++;
else if (version == '12.2(28c)') flag++;
else if (version == '12.2(28b)') flag++;
else if (version == '12.2(28a)') flag++;
else if (version == '12.2(28)') flag++;
else if (version == '12.2(27b)') flag++;
else if (version == '12.2(27a)') flag++;
else if (version == '12.2(27)') flag++;
else if (version == '12.2(26b)') flag++;
else if (version == '12.2(26a)') flag++;
else if (version == '12.2(26)') flag++;
else if (version == '12.2(24b)') flag++;
else if (version == '12.2(24a)') flag++;
else if (version == '12.2(24)') flag++;
else if (version == '12.2(23f)') flag++;
else if (version == '12.2(23e)') flag++;
else if (version == '12.2(23d)') flag++;
else if (version == '12.2(23c)') flag++;
else if (version == '12.2(23a)') flag++;
else if (version == '12.2(23)') flag++;
else if (version == '12.2(21b)') flag++;
else if (version == '12.2(21a)') flag++;
else if (version == '12.2(21)') flag++;
else if (version == '12.2(19c)') flag++;
else if (version == '12.2(19b)') flag++;
else if (version == '12.2(19a)') flag++;
else if (version == '12.2(19)') flag++;
else if (version == '12.2(17f)') flag++;
else if (version == '12.2(17e)') flag++;
else if (version == '12.2(17d)') flag++;
else if (version == '12.2(17b)') flag++;
else if (version == '12.2(17a)') flag++;
else if (version == '12.2(17)') flag++;
else if (version == '12.2(16f)') flag++;
else if (version == '12.2(16c)') flag++;
else if (version == '12.2(16b)') flag++;
else if (version == '12.2(16a)') flag++;
else if (version == '12.2(16)') flag++;
else if (version == '12.2(13e)') flag++;
else if (version == '12.2(13c)') flag++;
else if (version == '12.2(13b)') flag++;
else if (version == '12.2(13a)') flag++;
else if (version == '12.2(13)') flag++;
else if (version == '12.2(12m)') flag++;
else if (version == '12.2(12l)') flag++;
else if (version == '12.2(12k)') flag++;
else if (version == '12.2(12j)') flag++;
else if (version == '12.2(12i)') flag++;
else if (version == '12.2(12h)') flag++;
else if (version == '12.2(12g)') flag++;
else if (version == '12.2(12f)') flag++;
else if (version == '12.2(12e)') flag++;
else if (version == '12.2(12c)') flag++;
else if (version == '12.2(12b)') flag++;
else if (version == '12.2(12a)') flag++;
else if (version == '12.2(12)') flag++;
else if (version == '12.2(10g)') flag++;
else if (version == '12.2(10d)') flag++;
else if (version == '12.2(10b)') flag++;
else if (version == '12.2(10a)') flag++;
else if (version == '12.2(10)') flag++;
else if (version == '12.2(7g)') flag++;
else if (version == '12.2(7e)') flag++;
else if (version == '12.2(7c)') flag++;
else if (version == '12.2(7b)') flag++;
else if (version == '12.2(7a)') flag++;
else if (version == '12.2(7)') flag++;
else if (version == '12.2(6j)') flag++;
else if (version == '12.2(6i)') flag++;
else if (version == '12.2(6h)') flag++;
else if (version == '12.2(6g)') flag++;
else if (version == '12.2(6f)') flag++;
else if (version == '12.2(6e)') flag++;
else if (version == '12.2(6d)') flag++;
else if (version == '12.2(6c)') flag++;
else if (version == '12.2(6b)') flag++;
else if (version == '12.2(6a)') flag++;
else if (version == '12.2(6)') flag++;
else if (version == '12.2(5d)') flag++;
else if (version == '12.2(5c)') flag++;
else if (version == '12.2(5b)') flag++;
else if (version == '12.2(5a)') flag++;
else if (version == '12.2(5)') flag++;
else if (version == '12.2(3g)') flag++;
else if (version == '12.2(3d)') flag++;
else if (version == '12.2(3c)') flag++;
else if (version == '12.2(3b)') flag++;
else if (version == '12.2(3a)') flag++;
else if (version == '12.2(3)') flag++;
else if (version == '12.2(1d)') flag++;
else if (version == '12.2(1c)') flag++;
else if (version == '12.2(1b)') flag++;
else if (version == '12.2(1a)') flag++;
else if (version == '12.2(1)') flag++;
else if (version == '12.1(11)YJ4') flag++;
else if (version == '12.1(11)YJ3') flag++;
else if (version == '12.1(11)YJ2') flag++;
else if (version == '12.1(11)YJ') flag++;
else if (version == '12.1(5)YI2') flag++;
else if (version == '12.1(5)YI1') flag++;
else if (version == '12.1(5)YI') flag++;
else if (version == '12.1(5)YH4') flag++;
else if (version == '12.1(5)YH3') flag++;
else if (version == '12.1(5)YH2') flag++;
else if (version == '12.1(5)YH1') flag++;
else if (version == '12.1(5)YH') flag++;
else if (version == '12.1(5)YF4') flag++;
else if (version == '12.1(5)YF3') flag++;
else if (version == '12.1(5)YF2') flag++;
else if (version == '12.1(5)YF1') flag++;
else if (version == '12.1(5)YF') flag++;
else if (version == '12.1(5)YE5') flag++;
else if (version == '12.1(5)YE4') flag++;
else if (version == '12.1(5)YE3') flag++;
else if (version == '12.1(5)YE2') flag++;
else if (version == '12.1(5)YE1') flag++;
else if (version == '12.1(5)YD6') flag++;
else if (version == '12.1(5)YD5') flag++;
else if (version == '12.1(5)YD4') flag++;
else if (version == '12.1(5)YD3') flag++;
else if (version == '12.1(5)YD2') flag++;
else if (version == '12.1(5)YD1') flag++;
else if (version == '12.1(5)YD') flag++;
else if (version == '12.1(5)YC3') flag++;
else if (version == '12.1(5)YC2') flag++;
else if (version == '12.1(5)YC1') flag++;
else if (version == '12.1(5)YC') flag++;
else if (version == '12.1(5)YB5') flag++;
else if (version == '12.1(5)YB4') flag++;
else if (version == '12.1(5)YB3') flag++;
else if (version == '12.1(5)YB1') flag++;
else if (version == '12.1(5)YB') flag++;
else if (version == '12.1(5)YA2') flag++;
else if (version == '12.1(5)YA1') flag++;
else if (version == '12.1(5)YA') flag++;
else if (version == '12.1(4)XZ7') flag++;
else if (version == '12.1(4)XZ6') flag++;
else if (version == '12.1(4)XZ5') flag++;
else if (version == '12.1(4)XZ4') flag++;
else if (version == '12.1(4)XZ3') flag++;
else if (version == '12.1(4)XZ2') flag++;
else if (version == '12.1(4)XZ1') flag++;
else if (version == '12.1(4)XZ') flag++;
else if (version == '12.1(4)XY8') flag++;
else if (version == '12.1(4)XY7') flag++;
else if (version == '12.1(4)XY6') flag++;
else if (version == '12.1(4)XY5') flag++;
else if (version == '12.1(4)XY4') flag++;
else if (version == '12.1(4)XY3') flag++;
else if (version == '12.1(4)XY2') flag++;
else if (version == '12.1(4)XY1') flag++;
else if (version == '12.1(4)XY') flag++;
else if (version == '12.1(5)XX3') flag++;
else if (version == '12.1(5)XX2') flag++;
else if (version == '12.1(5)XX1') flag++;
else if (version == '12.1(5)XX') flag++;
else if (version == '12.1(3)XW2') flag++;
else if (version == '12.1(3)XW1') flag++;
else if (version == '12.1(3)XW') flag++;
else if (version == '12.1(5)XV4') flag++;
else if (version == '12.1(5)XV3') flag++;
else if (version == '12.1(5)XV2') flag++;
else if (version == '12.1(5)XV1') flag++;
else if (version == '12.1(5)XV') flag++;
else if (version == '12.1(5)XU1') flag++;
else if (version == '12.1(5)XU') flag++;
else if (version == '12.1(3)XT2') flag++;
else if (version == '12.1(3)XT1') flag++;
else if (version == '12.1(3)XT') flag++;
else if (version == '12.1(2)XT2') flag++;
else if (version == '12.1(5)XS5') flag++;
else if (version == '12.1(5)XS4') flag++;
else if (version == '12.1(5)XS3') flag++;
else if (version == '12.1(5)XS2') flag++;
else if (version == '12.1(5)XS1') flag++;
else if (version == '12.1(5)XS') flag++;
else if (version == '12.1(3)XS') flag++;
else if (version == '12.1(5)XR2') flag++;
else if (version == '12.1(5)XR1') flag++;
else if (version == '12.1(5)XR') flag++;
else if (version == '12.1(3)XQ3') flag++;
else if (version == '12.1(3)XQ2') flag++;
else if (version == '12.1(3)XQ1') flag++;
else if (version == '12.1(3)XQ') flag++;
else if (version == '12.1(3)XP4') flag++;
else if (version == '12.1(3)XP3') flag++;
else if (version == '12.1(3)XP2') flag++;
else if (version == '12.1(3)XP1') flag++;
else if (version == '12.1(3)XP') flag++;
else if (version == '12.1(5)XM8') flag++;
else if (version == '12.1(5)XM7') flag++;
else if (version == '12.1(5)XM6') flag++;
else if (version == '12.1(5)XM5') flag++;
else if (version == '12.1(5)XM4') flag++;
else if (version == '12.1(5)XM3') flag++;
else if (version == '12.1(5)XM2') flag++;
else if (version == '12.1(5)XM1') flag++;
else if (version == '12.1(5)XM') flag++;
else if (version == '12.1(3a)XL3') flag++;
else if (version == '12.1(3a)XL2') flag++;
else if (version == '12.1(3a)XL1') flag++;
else if (version == '12.1(3)XL') flag++;
else if (version == '12.1(3)XJ') flag++;
else if (version == '12.1(3a)XI9') flag++;
else if (version == '12.1(3a)XI8') flag++;
else if (version == '12.1(3a)XI7') flag++;
else if (version == '12.1(3a)XI6') flag++;
else if (version == '12.1(3a)XI5') flag++;
else if (version == '12.1(3a)XI4') flag++;
else if (version == '12.1(3a)XI3') flag++;
else if (version == '12.1(3a)XI2') flag++;
else if (version == '12.1(3a)XI1') flag++;
else if (version == '12.1(3)XI') flag++;
else if (version == '12.1(2a)XH3') flag++;
else if (version == '12.1(2a)XH2') flag++;
else if (version == '12.1(2a)XH1') flag++;
else if (version == '12.1(2a)XH') flag++;
else if (version == '12.1(3)XG6') flag++;
else if (version == '12.1(3)XG5') flag++;
else if (version == '12.1(3)XG4') flag++;
else if (version == '12.1(3)XG3') flag++;
else if (version == '12.1(3)XG2') flag++;
else if (version == '12.1(3)XG1') flag++;
else if (version == '12.1(3)XG') flag++;
else if (version == '12.1(2)XF5') flag++;
else if (version == '12.1(2)XF4') flag++;
else if (version == '12.1(2)XF3') flag++;
else if (version == '12.1(2)XF2') flag++;
else if (version == '12.1(2)XF1') flag++;
else if (version == '12.1(2)XF') flag++;
else if (version == '12.1(1)XE1') flag++;
else if (version == '12.1(1)XE') flag++;
else if (version == '12.1(1)XD2') flag++;
else if (version == '12.1(1)XD1') flag++;
else if (version == '12.1(1)XD') flag++;
else if (version == '12.1(1)XC1') flag++;
else if (version == '12.1(1)XB') flag++;
else if (version == '12.1(1)XA4') flag++;
else if (version == '12.1(1)XA3') flag++;
else if (version == '12.1(1)XA2') flag++;
else if (version == '12.1(1)XA') flag++;
else if (version == '12.1(5)T9') flag++;
else if (version == '12.1(5)T8b') flag++;
else if (version == '12.1(5)T8a') flag++;
else if (version == '12.1(5)T8') flag++;
else if (version == '12.1(5)T7') flag++;
else if (version == '12.1(5)T6') flag++;
else if (version == '12.1(5)T5') flag++;
else if (version == '12.1(5)T4') flag++;
else if (version == '12.1(5)T3') flag++;
else if (version == '12.1(5)T20') flag++;
else if (version == '12.1(5)T2') flag++;
else if (version == '12.1(5)T19') flag++;
else if (version == '12.1(5)T18') flag++;
else if (version == '12.1(5)T17') flag++;
else if (version == '12.1(5)T15') flag++;
else if (version == '12.1(5)T14') flag++;
else if (version == '12.1(5)T12') flag++;
else if (version == '12.1(5)T11') flag++;
else if (version == '12.1(5)T10') flag++;
else if (version == '12.1(5)T1') flag++;
else if (version == '12.1(5)T') flag++;
else if (version == '12.1(3a)T8') flag++;
else if (version == '12.1(3a)T7') flag++;
else if (version == '12.1(3a)T6') flag++;
else if (version == '12.1(3a)T5') flag++;
else if (version == '12.1(3a)T4') flag++;
else if (version == '12.1(3a)T3') flag++;
else if (version == '12.1(3a)T2') flag++;
else if (version == '12.1(3a)T1') flag++;
else if (version == '12.1(3)T') flag++;
else if (version == '12.1(2a)T2') flag++;
else if (version == '12.1(2a)T1') flag++;
else if (version == '12.1(2)T') flag++;
else if (version == '12.1(1a)T1') flag++;
else if (version == '12.1(1)T') flag++;
else if (version == '12.1(2)GB') flag++;
else if (version == '12.1(1)GA1') flag++;
else if (version == '12.1(1)GA') flag++;
else if (version == '12.1(6)EZ6') flag++;
else if (version == '12.1(6)EZ5') flag++;
else if (version == '12.1(6)EZ4') flag++;
else if (version == '12.1(6)EZ3') flag++;
else if (version == '12.1(6)EZ2') flag++;
else if (version == '12.1(6)EZ1') flag++;
else if (version == '12.1(6)EZ') flag++;
else if (version == '12.1(12c)EY') flag++;
else if (version == '12.1(10)EY') flag++;
else if (version == '12.1(7a)EY3') flag++;
else if (version == '12.1(7a)EY2') flag++;
else if (version == '12.1(7a)EY1') flag++;
else if (version == '12.1(7a)EY') flag++;
else if (version == '12.1(6)EY1') flag++;
else if (version == '12.1(6)EY') flag++;
else if (version == '12.1(5)EY2') flag++;
else if (version == '12.1(5)EY1') flag++;
else if (version == '12.1(5)EY') flag++;
else if (version == '12.1(13)EX3') flag++;
else if (version == '12.1(13)EX2') flag++;
else if (version == '12.1(13)EX1') flag++;
else if (version == '12.1(13)EX') flag++;
else if (version == '12.1(12c)EX1') flag++;
else if (version == '12.1(12c)EX') flag++;
else if (version == '12.1(11b)EX1') flag++;
else if (version == '12.1(11b)EX') flag++;
else if (version == '12.1(10)EX2') flag++;
else if (version == '12.1(10)EX1') flag++;
else if (version == '12.1(10)EX') flag++;
else if (version == '12.1(9)EX3') flag++;
else if (version == '12.1(9)EX2') flag++;
else if (version == '12.1(9)EX1') flag++;
else if (version == '12.1(9)EX') flag++;
else if (version == '12.1(8b)EX5') flag++;
else if (version == '12.1(8b)EX4') flag++;
else if (version == '12.1(8b)EX3') flag++;
else if (version == '12.1(8b)EX2') flag++;
else if (version == '12.1(8a)EX1') flag++;
else if (version == '12.1(8a)EX') flag++;
else if (version == '12.1(5c)EX3') flag++;
else if (version == '12.1(1)EX1') flag++;
else if (version == '12.1(1)EX') flag++;
else if (version == '12.1(20)EW4') flag++;
else if (version == '12.1(20)EW3') flag++;
else if (version == '12.1(20)EW2') flag++;
else if (version == '12.1(20)EW1') flag++;
else if (version == '12.1(20)EW') flag++;
else if (version == '12.1(19)EW3') flag++;
else if (version == '12.1(19)EW2') flag++;
else if (version == '12.1(19)EW1') flag++;
else if (version == '12.1(19)EW') flag++;
else if (version == '12.1(13)EW4') flag++;
else if (version == '12.1(13)EW3') flag++;
else if (version == '12.1(13)EW2') flag++;
else if (version == '12.1(13)EW1') flag++;
else if (version == '12.1(13)EW') flag++;
else if (version == '12.1(12c)EW4') flag++;
else if (version == '12.1(12c)EW3') flag++;
else if (version == '12.1(12c)EW2') flag++;
else if (version == '12.1(12c)EW1') flag++;
else if (version == '12.1(12c)EW') flag++;
else if (version == '12.1(11b)EW1') flag++;
else if (version == '12.1(11b)EW') flag++;
else if (version == '12.1(8a)EW1') flag++;
else if (version == '12.1(8a)EW') flag++;
else if (version == '12.1(12c)EV3') flag++;
else if (version == '12.1(12c)EV2') flag++;
else if (version == '12.1(12c)EV1') flag++;
else if (version == '12.1(12c)EV') flag++;
else if (version == '12.1(10)EV4') flag++;
else if (version == '12.1(10)EV3') flag++;
else if (version == '12.1(10)EV2') flag++;
else if (version == '12.1(10)EV1a') flag++;
else if (version == '12.1(10)EV1') flag++;
else if (version == '12.1(10)EV') flag++;
else if (version == '12.1(20)EU1') flag++;
else if (version == '12.1(20)EU') flag++;
else if (version == '12.1(20)EO3') flag++;
else if (version == '12.1(20)EO2') flag++;
else if (version == '12.1(20)EO1') flag++;
else if (version == '12.1(20)EO') flag++;
else if (version == '12.1(19)EO5') flag++;
else if (version == '12.1(19)EO4') flag++;
else if (version == '12.1(19)EO3') flag++;
else if (version == '12.1(19)EO2') flag++;
else if (version == '12.1(19)EO1') flag++;
else if (version == '12.1(19)EO') flag++;
else if (version == '12.1(14)EO1') flag++;
else if (version == '12.1(14)EO') flag++;
else if (version == '12.1(22)EC1') flag++;
else if (version == '12.1(22)EC') flag++;
else if (version == '12.1(20)EC3') flag++;
else if (version == '12.1(20)EC2') flag++;
else if (version == '12.1(20)EC1') flag++;
else if (version == '12.1(20)EC') flag++;
else if (version == '12.1(19)EC1') flag++;
else if (version == '12.1(19)EC') flag++;
else if (version == '12.1(13)EC4') flag++;
else if (version == '12.1(13)EC3') flag++;
else if (version == '12.1(13)EC2') flag++;
else if (version == '12.1(13)EC1') flag++;
else if (version == '12.1(13)EC') flag++;
else if (version == '12.1(12c)EC1') flag++;
else if (version == '12.1(12c)EC') flag++;
else if (version == '12.1(11b)EC1') flag++;
else if (version == '12.1(11b)EC') flag++;
else if (version == '12.1(10)EC1') flag++;
else if (version == '12.1(10)EC') flag++;
else if (version == '12.1(9)EC1') flag++;
else if (version == '12.1(9)EC') flag++;
else if (version == '12.1(8)EC1') flag++;
else if (version == '12.1(8)EC') flag++;
else if (version == '12.1(7)EC') flag++;
else if (version == '12.1(6)EC1') flag++;
else if (version == '12.1(6)EC') flag++;
else if (version == '12.1(5)EC1') flag++;
else if (version == '12.1(5)EC') flag++;
else if (version == '12.1(4)EC') flag++;
else if (version == '12.1(3a)EC1') flag++;
else if (version == '12.1(3a)EC') flag++;
else if (version == '12.1(2)EC1') flag++;
else if (version == '12.1(2)EC') flag++;
else if (version == '12.1(26)EB1') flag++;
else if (version == '12.1(26)EB') flag++;
else if (version == '12.1(23)EB') flag++;
else if (version == '12.1(22)EB') flag++;
else if (version == '12.1(20)EB') flag++;
else if (version == '12.1(19)EB') flag++;
else if (version == '12.1(14)EB1') flag++;
else if (version == '12.1(14)EB') flag++;
else if (version == '12.1(13)EB1') flag++;
else if (version == '12.1(13)EB') flag++;
else if (version == '12.1(22)EA6a') flag++;
else if (version == '12.1(22)EA6') flag++;
else if (version == '12.1(22)EA5a') flag++;
else if (version == '12.1(22)EA5') flag++;
else if (version == '12.1(22)EA4a') flag++;
else if (version == '12.1(22)EA4') flag++;
else if (version == '12.1(22)EA3') flag++;
else if (version == '12.1(22)EA2') flag++;
else if (version == '12.1(22)EA1b') flag++;
else if (version == '12.1(22)EA1a') flag++;
else if (version == '12.1(22)EA1') flag++;
else if (version == '12.1(20)EA2') flag++;
else if (version == '12.1(20)EA1a') flag++;
else if (version == '12.1(20)EA1') flag++;
else if (version == '12.1(19)EA1d') flag++;
else if (version == '12.1(19)EA1c') flag++;
else if (version == '12.1(19)EA1b') flag++;
else if (version == '12.1(19)EA1a') flag++;
else if (version == '12.1(19)EA1') flag++;
else if (version == '12.1(14)EA1b') flag++;
else if (version == '12.1(14)EA1a') flag++;
else if (version == '12.1(14)EA1') flag++;
else if (version == '12.1(13)EA1c') flag++;
else if (version == '12.1(13)EA1b') flag++;
else if (version == '12.1(13)EA1a') flag++;
else if (version == '12.1(13)EA1') flag++;
else if (version == '12.1(12c)EA1a') flag++;
else if (version == '12.1(12c)EA1') flag++;
else if (version == '12.1(11)EA1a') flag++;
else if (version == '12.1(11)EA1') flag++;
else if (version == '12.1(9)EA1') flag++;
else if (version == '12.1(8)EA1c') flag++;
else if (version == '12.1(6)EA1') flag++;
else if (version == '12.1(4)EA1e') flag++;
else if (version == '12.1(27b)E') flag++;
else if (version == '12.1(26)E7') flag++;
else if (version == '12.1(26)E6') flag++;
else if (version == '12.1(26)E5') flag++;
else if (version == '12.1(26)E4') flag++;
else if (version == '12.1(26)E3') flag++;
else if (version == '12.1(26)E2') flag++;
else if (version == '12.1(26)E1') flag++;
else if (version == '12.1(26)E') flag++;
else if (version == '12.1(23)E4') flag++;
else if (version == '12.1(23)E3') flag++;
else if (version == '12.1(23)E2') flag++;
else if (version == '12.1(23)E1') flag++;
else if (version == '12.1(23)E') flag++;
else if (version == '12.1(22)E6') flag++;
else if (version == '12.1(22)E5') flag++;
else if (version == '12.1(22)E4') flag++;
else if (version == '12.1(22)E3') flag++;
else if (version == '12.1(22)E2') flag++;
else if (version == '12.1(22)E1') flag++;
else if (version == '12.1(22)E') flag++;
else if (version == '12.1(20)E6') flag++;
else if (version == '12.1(20)E5') flag++;
else if (version == '12.1(20)E4') flag++;
else if (version == '12.1(20)E3') flag++;
else if (version == '12.1(20)E2') flag++;
else if (version == '12.1(20)E1') flag++;
else if (version == '12.1(20)E') flag++;
else if (version == '12.1(19)E7') flag++;
else if (version == '12.1(19)E6') flag++;
else if (version == '12.1(19)E4') flag++;
else if (version == '12.1(19)E3') flag++;
else if (version == '12.1(19)E2') flag++;
else if (version == '12.1(19)E1') flag++;
else if (version == '12.1(19)E') flag++;
else if (version == '12.1(14)E7') flag++;
else if (version == '12.1(14)E6') flag++;
else if (version == '12.1(14)E5') flag++;
else if (version == '12.1(14)E4') flag++;
else if (version == '12.1(14)E3') flag++;
else if (version == '12.1(14)E2') flag++;
else if (version == '12.1(14)E10') flag++;
else if (version == '12.1(14)E1') flag++;
else if (version == '12.1(14)E') flag++;
else if (version == '12.1(13)E9') flag++;
else if (version == '12.1(13)E8') flag++;
else if (version == '12.1(13)E7') flag++;
else if (version == '12.1(13)E6') flag++;
else if (version == '12.1(13)E5') flag++;
else if (version == '12.1(13)E4') flag++;
else if (version == '12.1(13)E3') flag++;
else if (version == '12.1(13)E2') flag++;
else if (version == '12.1(13)E17') flag++;
else if (version == '12.1(13)E16') flag++;
else if (version == '12.1(13)E15') flag++;
else if (version == '12.1(13)E14') flag++;
else if (version == '12.1(13)E13') flag++;
else if (version == '12.1(13)E12') flag++;
else if (version == '12.1(13)E11') flag++;
else if (version == '12.1(13)E10') flag++;
else if (version == '12.1(13)E1') flag++;
else if (version == '12.1(13)E') flag++;
else if (version == '12.1(12c)E6') flag++;
else if (version == '12.1(12c)E5') flag++;
else if (version == '12.1(12c)E4') flag++;
else if (version == '12.1(12c)E3') flag++;
else if (version == '12.1(12c)E2') flag++;
else if (version == '12.1(12c)E1') flag++;
else if (version == '12.1(12c)E') flag++;
else if (version == '12.1(11b)E7') flag++;
else if (version == '12.1(11b)E5') flag++;
else if (version == '12.1(11b)E4') flag++;
else if (version == '12.1(11b)E3') flag++;
else if (version == '12.1(11b)E2') flag++;
else if (version == '12.1(11b)E14') flag++;
else if (version == '12.1(11b)E12') flag++;
else if (version == '12.1(11b)E11') flag++;
else if (version == '12.1(11b)E10') flag++;
else if (version == '12.1(11b)E1') flag++;
else if (version == '12.1(11b)E0a') flag++;
else if (version == '12.1(11b)E') flag++;
else if (version == '12.1(10)E8') flag++;
else if (version == '12.1(10)E7') flag++;
else if (version == '12.1(10)E6a') flag++;
else if (version == '12.1(10)E6') flag++;
else if (version == '12.1(10)E5') flag++;
else if (version == '12.1(10)E4') flag++;
else if (version == '12.1(10)E3') flag++;
else if (version == '12.1(10)E2') flag++;
else if (version == '12.1(10)E1') flag++;
else if (version == '12.1(10)E') flag++;
else if (version == '12.1(9)E3') flag++;
else if (version == '12.1(9)E2') flag++;
else if (version == '12.1(9)E1') flag++;
else if (version == '12.1(9)E') flag++;
else if (version == '12.1(8b)E9') flag++;
else if (version == '12.1(8b)E8') flag++;
else if (version == '12.1(8b)E7') flag++;
else if (version == '12.1(8b)E6') flag++;
else if (version == '12.1(8b)E20') flag++;
else if (version == '12.1(8b)E19') flag++;
else if (version == '12.1(8b)E18') flag++;
else if (version == '12.1(8b)E15') flag++;
else if (version == '12.1(8b)E14') flag++;
else if (version == '12.1(8b)E13') flag++;
else if (version == '12.1(8b)E12') flag++;
else if (version == '12.1(8b)E11') flag++;
else if (version == '12.1(8b)E10') flag++;
else if (version == '12.1(8a)E5') flag++;
else if (version == '12.1(8a)E4') flag++;
else if (version == '12.1(8a)E3') flag++;
else if (version == '12.1(8a)E2') flag++;
else if (version == '12.1(8a)E1') flag++;
else if (version == '12.1(8a)E') flag++;
else if (version == '12.1(7a)E6') flag++;
else if (version == '12.1(7a)E5') flag++;
else if (version == '12.1(7a)E4') flag++;
else if (version == '12.1(7a)E3') flag++;
else if (version == '12.1(7a)E2') flag++;
else if (version == '12.1(7a)E1a') flag++;
else if (version == '12.1(7a)E1') flag++;
else if (version == '12.1(7)E0a') flag++;
else if (version == '12.1(7)E') flag++;
else if (version == '12.1(6)E8') flag++;
else if (version == '12.1(6)E6') flag++;
else if (version == '12.1(6)E5') flag++;
else if (version == '12.1(6)E4') flag++;
else if (version == '12.1(6)E3') flag++;
else if (version == '12.1(6)E2') flag++;
else if (version == '12.1(6)E13') flag++;
else if (version == '12.1(6)E1') flag++;
else if (version == '12.1(6)E') flag++;
else if (version == '12.1(5c)E9') flag++;
else if (version == '12.1(5c)E8') flag++;
else if (version == '12.1(5c)E12') flag++;
else if (version == '12.1(5c)E10') flag++;
else if (version == '12.1(5b)E7') flag++;
else if (version == '12.1(5a)E4') flag++;
else if (version == '12.1(5a)E3') flag++;
else if (version == '12.1(5a)E2') flag++;
else if (version == '12.1(5a)E1') flag++;
else if (version == '12.1(5a)E') flag++;
else if (version == '12.1(4)E3') flag++;
else if (version == '12.1(4)E1') flag++;
else if (version == '12.1(4)E') flag++;
else if (version == '12.1(3a)E8') flag++;
else if (version == '12.1(3a)E7') flag++;
else if (version == '12.1(3a)E6') flag++;
else if (version == '12.1(3a)E5') flag++;
else if (version == '12.1(3a)E4') flag++;
else if (version == '12.1(3a)E3') flag++;
else if (version == '12.1(3a)E1') flag++;
else if (version == '12.1(3a)E') flag++;
else if (version == '12.1(2)E2') flag++;
else if (version == '12.1(2)E1') flag++;
else if (version == '12.1(2)E') flag++;
else if (version == '12.1(1)E6') flag++;
else if (version == '12.1(1)E5') flag++;
else if (version == '12.1(1)E4') flag++;
else if (version == '12.1(1)E3') flag++;
else if (version == '12.1(1)E2') flag++;
else if (version == '12.1(1)E1') flag++;
else if (version == '12.1(1)E') flag++;
else if (version == '12.1(5)DC3') flag++;
else if (version == '12.1(5)DC2') flag++;
else if (version == '12.1(5)DC1') flag++;
else if (version == '12.1(5)DC') flag++;
else if (version == '12.1(4)DC3') flag++;
else if (version == '12.1(4)DC2') flag++;
else if (version == '12.1(3)DC2') flag++;
else if (version == '12.1(3)DC1') flag++;
else if (version == '12.1(3)DC') flag++;
else if (version == '12.1(1)DC2') flag++;
else if (version == '12.1(1)DC1') flag++;
else if (version == '12.1(1)DC') flag++;
else if (version == '12.1(5)DB2') flag++;
else if (version == '12.1(5)DB1') flag++;
else if (version == '12.1(5)DB') flag++;
else if (version == '12.1(4)DB2') flag++;
else if (version == '12.1(4)DB1') flag++;
else if (version == '12.1(3)DB1') flag++;
else if (version == '12.1(3)DB') flag++;
else if (version == '12.1(1)DB2') flag++;
else if (version == '12.1(1)DB') flag++;
else if (version == '12.1(7)DA3') flag++;
else if (version == '12.1(7)DA2') flag++;
else if (version == '12.1(7)DA1') flag++;
else if (version == '12.1(7)DA') flag++;
else if (version == '12.1(6)DA1') flag++;
else if (version == '12.1(6)DA') flag++;
else if (version == '12.1(5)DA1') flag++;
else if (version == '12.1(5)DA') flag++;
else if (version == '12.1(4)DA') flag++;
else if (version == '12.1(3)DA') flag++;
else if (version == '12.1(2)DA') flag++;
else if (version == '12.1(1)DA1') flag++;
else if (version == '12.1(1)DA') flag++;
else if (version == '12.1(7)CX1') flag++;
else if (version == '12.1(7)CX') flag++;
else if (version == '12.1(4)CX') flag++;
else if (version == '12.1(14)AZ') flag++;
else if (version == '12.1(22)AY1') flag++;
else if (version == '12.1(13)AY') flag++;
else if (version == '12.1(14)AX4') flag++;
else if (version == '12.1(14)AX3') flag++;
else if (version == '12.1(14)AX2') flag++;
else if (version == '12.1(14)AX1') flag++;
else if (version == '12.1(14)AX') flag++;
else if (version == '12.1(11)AX') flag++;
else if (version == '12.1(10)AA') flag++;
else if (version == '12.1(8)AA1') flag++;
else if (version == '12.1(8)AA') flag++;
else if (version == '12.1(7)AA') flag++;
else if (version == '12.1(6)AA') flag++;
else if (version == '12.1(5)AA') flag++;
else if (version == '12.1(4)AA') flag++;
else if (version == '12.1(3)AA') flag++;
else if (version == '12.1(2a)AA') flag++;
else if (version == '12.1(1)AA1') flag++;
else if (version == '12.1(1)AA') flag++;
else if (version == '12.1(27b)') flag++;
else if (version == '12.1(27a)') flag++;
else if (version == '12.1(27)') flag++;
else if (version == '12.1(26)') flag++;
else if (version == '12.1(25)') flag++;
else if (version == '12.1(24)') flag++;
else if (version == '12.1(22c)') flag++;
else if (version == '12.1(22b)') flag++;
else if (version == '12.1(22a)') flag++;
else if (version == '12.1(22)') flag++;
else if (version == '12.1(21)') flag++;
else if (version == '12.1(20a)') flag++;
else if (version == '12.1(20)') flag++;
else if (version == '12.1(19)') flag++;
else if (version == '12.1(18)') flag++;
else if (version == '12.1(17a)') flag++;
else if (version == '12.1(17)') flag++;
else if (version == '12.1(16)') flag++;
else if (version == '12.1(15)') flag++;
else if (version == '12.1(14)') flag++;
else if (version == '12.1(13a)') flag++;
else if (version == '12.1(13)') flag++;
else if (version == '12.1(12c)') flag++;
else if (version == '12.1(12b)') flag++;
else if (version == '12.1(12a)') flag++;
else if (version == '12.1(12)') flag++;
else if (version == '12.1(11b)') flag++;
else if (version == '12.1(11a)') flag++;
else if (version == '12.1(11)') flag++;
else if (version == '12.1(10a)') flag++;
else if (version == '12.1(10)') flag++;
else if (version == '12.1(9a)') flag++;
else if (version == '12.1(9)') flag++;
else if (version == '12.1(8b)') flag++;
else if (version == '12.1(8a)') flag++;
else if (version == '12.1(8)') flag++;
else if (version == '12.1(7c)') flag++;
else if (version == '12.1(7b)') flag++;
else if (version == '12.1(7a)') flag++;
else if (version == '12.1(7)') flag++;
else if (version == '12.1(6b)') flag++;
else if (version == '12.1(6a)') flag++;
else if (version == '12.1(6)') flag++;
else if (version == '12.1(5e)') flag++;
else if (version == '12.1(5d)') flag++;
else if (version == '12.1(5c)') flag++;
else if (version == '12.1(5b)') flag++;
else if (version == '12.1(5a)') flag++;
else if (version == '12.1(5)') flag++;
else if (version == '12.1(4c)') flag++;
else if (version == '12.1(4b)') flag++;
else if (version == '12.1(4a)') flag++;
else if (version == '12.1(3b)') flag++;
else if (version == '12.1(3)') flag++;
else if (version == '12.1(2b)') flag++;
else if (version == '12.1(2a)') flag++;
else if (version == '12.1(2)') flag++;
else if (version == '12.1(1c)') flag++;
else if (version == '12.1(1b)') flag++;
else if (version == '12.1(1a)') flag++;
else if (version == '12.1(1)') flag++;
else if (version == '12.0(7)XV') flag++;
else if (version == '12.0(5)XT1') flag++;
else if (version == '12.0(7)XR4') flag++;
else if (version == '12.0(7)XR3') flag++;
else if (version == '12.0(7)XR2') flag++;
else if (version == '12.0(7)XR1') flag++;
else if (version == '12.0(5)XQ1') flag++;
else if (version == '12.0(5)XQ') flag++;
else if (version == '12.0(5)XN') flag++;
else if (version == '12.0(4)XM1') flag++;
else if (version == '12.0(4)XM') flag++;
else if (version == '12.0(4)XL1') flag++;
else if (version == '12.0(4)XL') flag++;
else if (version == '12.0(7)XK3') flag++;
else if (version == '12.0(7)XK2') flag++;
else if (version == '12.0(7)XK1') flag++;
else if (version == '12.0(7)XK') flag++;
else if (version == '12.0(5)XK2') flag++;
else if (version == '12.0(5)XK1') flag++;
else if (version == '12.0(5)XK') flag++;
else if (version == '12.0(4)XJ6') flag++;
else if (version == '12.0(4)XJ5') flag++;
else if (version == '12.0(4)XJ4') flag++;
else if (version == '12.0(4)XJ3') flag++;
else if (version == '12.0(4)XJ2') flag++;
else if (version == '12.0(4)XJ1') flag++;
else if (version == '12.0(4)XJ') flag++;
else if (version == '12.0(4)XI2') flag++;
else if (version == '12.0(4)XI1') flag++;
else if (version == '12.0(4)XI') flag++;
else if (version == '12.0(4)XH4') flag++;
else if (version == '12.0(4)XH3') flag++;
else if (version == '12.0(4)XH1') flag++;
else if (version == '12.0(4)XH') flag++;
else if (version == '12.0(2)XH') flag++;
else if (version == '12.0(3)XG') flag++;
else if (version == '12.0(7)XE2') flag++;
else if (version == '12.0(7)XE1') flag++;
else if (version == '12.0(5)XE8') flag++;
else if (version == '12.0(5)XE7') flag++;
else if (version == '12.0(5)XE6') flag++;
else if (version == '12.0(5)XE5') flag++;
else if (version == '12.0(5)XE4') flag++;
else if (version == '12.0(5)XE3') flag++;
else if (version == '12.0(5)XE2') flag++;
else if (version == '12.0(5)XE1') flag++;
else if (version == '12.0(5)XE') flag++;
else if (version == '12.0(4)XE2') flag++;
else if (version == '12.0(4)XE1') flag++;
else if (version == '12.0(4)XE') flag++;
else if (version == '12.0(3)XE2') flag++;
else if (version == '12.0(3)XE1') flag++;
else if (version == '12.0(3)XE') flag++;
else if (version == '12.0(2)XE4') flag++;
else if (version == '12.0(2)XE3') flag++;
else if (version == '12.0(2)XE2') flag++;
else if (version == '12.0(2)XE1') flag++;
else if (version == '12.0(2)XE') flag++;
else if (version == '12.0(1)XE') flag++;
else if (version == '12.0(2)XD1') flag++;
else if (version == '12.0(2)XC2') flag++;
else if (version == '12.0(2)XC1') flag++;
else if (version == '12.0(2)XC') flag++;
else if (version == '12.0(1)XB1') flag++;
else if (version == '12.0(1)XB') flag++;
else if (version == '12.0(1)XA3') flag++;
else if (version == '12.0(1)XA2') flag++;
else if (version == '12.0(1)XA') flag++;
else if (version == '12.0(5)WC9a') flag++;
else if (version == '12.0(5)WC9') flag++;
else if (version == '12.0(5)WC8') flag++;
else if (version == '12.0(5)WC7') flag++;
else if (version == '12.0(5)WC6') flag++;
else if (version == '12.0(5)WC5a') flag++;
else if (version == '12.0(5)WC5') flag++;
else if (version == '12.0(5)WC4a') flag++;
else if (version == '12.0(5)WC4') flag++;
else if (version == '12.0(5)WC3a') flag++;
else if (version == '12.0(5)WC13') flag++;
else if (version == '12.0(5)WC12') flag++;
else if (version == '12.0(5)WC11') flag++;
else if (version == '12.0(5)WC10') flag++;
else if (version == '12.0(7)T3') flag++;
else if (version == '12.0(7)T2') flag++;
else if (version == '12.0(7)T') flag++;
else if (version == '12.0(5)T2') flag++;
else if (version == '12.0(5)T1') flag++;
else if (version == '12.0(5)T') flag++;
else if (version == '12.0(4)T1') flag++;
else if (version == '12.0(4)T') flag++;
else if (version == '12.0(3)T3') flag++;
else if (version == '12.0(3)T2') flag++;
else if (version == '12.0(3)T1') flag++;
else if (version == '12.0(3)T') flag++;
else if (version == '12.0(2a)T1') flag++;
else if (version == '12.0(2)T1') flag++;
else if (version == '12.0(2)T') flag++;
else if (version == '12.0(1)T') flag++;
else if (version == '12.0(23)SZ3') flag++;
else if (version == '12.0(21)SZ') flag++;
else if (version == '12.0(32)SY2') flag++;
else if (version == '12.0(32)SY1') flag++;
else if (version == '12.0(32)SY') flag++;
else if (version == '12.0(25)SX9') flag++;
else if (version == '12.0(25)SX8') flag++;
else if (version == '12.0(25)SX7') flag++;
else if (version == '12.0(25)SX6e') flag++;
else if (version == '12.0(25)SX6') flag++;
else if (version == '12.0(25)SX5') flag++;
else if (version == '12.0(25)SX4') flag++;
else if (version == '12.0(25)SX3') flag++;
else if (version == '12.0(25)SX2') flag++;
else if (version == '12.0(25)SX10') flag++;
else if (version == '12.0(25)SX1') flag++;
else if (version == '12.0(25)SX') flag++;
else if (version == '12.0(23)SX5') flag++;
else if (version == '12.0(23)SX4') flag++;
else if (version == '12.0(23)SX3') flag++;
else if (version == '12.0(23)SX2') flag++;
else if (version == '12.0(23)SX1') flag++;
else if (version == '12.0(23)SX') flag++;
else if (version == '12.0(21)SX1') flag++;
else if (version == '12.0(21)SX') flag++;
else if (version == '12.0(10)SX') flag++;
else if (version == '12.0(28)SW1') flag++;
else if (version == '12.0(21)ST7') flag++;
else if (version == '12.0(21)ST6a') flag++;
else if (version == '12.0(21)ST6') flag++;
else if (version == '12.0(21)ST5') flag++;
else if (version == '12.0(21)ST4') flag++;
else if (version == '12.0(21)ST3a') flag++;
else if (version == '12.0(21)ST3') flag++;
else if (version == '12.0(21)ST2b') flag++;
else if (version == '12.0(21)ST2a') flag++;
else if (version == '12.0(21)ST2') flag++;
else if (version == '12.0(21)ST1') flag++;
else if (version == '12.0(21)ST') flag++;
else if (version == '12.0(20)ST6') flag++;
else if (version == '12.0(20)ST5') flag++;
else if (version == '12.0(20)ST4') flag++;
else if (version == '12.0(20)ST3') flag++;
else if (version == '12.0(20)ST2') flag++;
else if (version == '12.0(20)ST1') flag++;
else if (version == '12.0(20)ST') flag++;
else if (version == '12.0(19)ST6') flag++;
else if (version == '12.0(19)ST5') flag++;
else if (version == '12.0(19)ST4') flag++;
else if (version == '12.0(19)ST3') flag++;
else if (version == '12.0(19)ST2') flag++;
else if (version == '12.0(19)ST1') flag++;
else if (version == '12.0(19)ST') flag++;
else if (version == '12.0(18)ST1') flag++;
else if (version == '12.0(18)ST') flag++;
else if (version == '12.0(17)ST8') flag++;
else if (version == '12.0(17)ST7') flag++;
else if (version == '12.0(17)ST6') flag++;
else if (version == '12.0(17)ST5') flag++;
else if (version == '12.0(17)ST4') flag++;
else if (version == '12.0(17)ST3') flag++;
else if (version == '12.0(17)ST2') flag++;
else if (version == '12.0(17)ST1') flag++;
else if (version == '12.0(17)ST') flag++;
else if (version == '12.0(16)ST1') flag++;
else if (version == '12.0(16)ST') flag++;
else if (version == '12.0(14)ST3') flag++;
else if (version == '12.0(14)ST2') flag++;
else if (version == '12.0(14)ST1') flag++;
else if (version == '12.0(14)ST') flag++;
else if (version == '12.0(11)ST4') flag++;
else if (version == '12.0(11)ST3') flag++;
else if (version == '12.0(11)ST2') flag++;
else if (version == '12.0(11)ST1') flag++;
else if (version == '12.0(11)ST') flag++;
else if (version == '12.0(10)ST2') flag++;
else if (version == '12.0(10)ST1') flag++;
else if (version == '12.0(10)ST') flag++;
else if (version == '12.0(9)ST') flag++;
else if (version == '12.0(21)SP4') flag++;
else if (version == '12.0(21)SP3') flag++;
else if (version == '12.0(21)SP2') flag++;
else if (version == '12.0(21)SP1') flag++;
else if (version == '12.0(21)SP') flag++;
else if (version == '12.0(20)SP2') flag++;
else if (version == '12.0(20)SP1') flag++;
else if (version == '12.0(20)SP') flag++;
else if (version == '12.0(19)SP') flag++;
else if (version == '12.0(19)SL4') flag++;
else if (version == '12.0(19)SL3') flag++;
else if (version == '12.0(19)SL2') flag++;
else if (version == '12.0(19)SL1') flag++;
else if (version == '12.0(19)SL') flag++;
else if (version == '12.0(17)SL8') flag++;
else if (version == '12.0(17)SL6') flag++;
else if (version == '12.0(17)SL5') flag++;
else if (version == '12.0(17)SL4') flag++;
else if (version == '12.0(17)SL3') flag++;
else if (version == '12.0(17)SL2') flag++;
else if (version == '12.0(17)SL1') flag++;
else if (version == '12.0(17)SL') flag++;
else if (version == '12.0(15)SL') flag++;
else if (version == '12.0(14)SL1') flag++;
else if (version == '12.0(14)SL') flag++;
else if (version == '12.0(11)SL1') flag++;
else if (version == '12.0(11)SL') flag++;
else if (version == '12.0(10)SL') flag++;
else if (version == '12.0(9)SL2') flag++;
else if (version == '12.0(9)SL1') flag++;
else if (version == '12.0(9)SL') flag++;
else if (version == '12.0(16)SC3') flag++;
else if (version == '12.0(16)SC2') flag++;
else if (version == '12.0(16)SC1') flag++;
else if (version == '12.0(16)SC') flag++;
else if (version == '12.0(15)SC1') flag++;
else if (version == '12.0(15)SC') flag++;
else if (version == '12.0(14)SC') flag++;
else if (version == '12.0(13)SC') flag++;
else if (version == '12.0(12)SC') flag++;
else if (version == '12.0(11)SC') flag++;
else if (version == '12.0(10)SC1') flag++;
else if (version == '12.0(10)SC') flag++;
else if (version == '12.0(9)SC') flag++;
else if (version == '12.0(8)SC1') flag++;
else if (version == '12.0(8)SC') flag++;
else if (version == '12.0(7)SC') flag++;
else if (version == '12.0(6)SC') flag++;
else if (version == '12.0(32)S5') flag++;
else if (version == '12.0(32)S4') flag++;
else if (version == '12.0(32)S3d') flag++;
else if (version == '12.0(32)S3') flag++;
else if (version == '12.0(32)S2') flag++;
else if (version == '12.0(32)S1') flag++;
else if (version == '12.0(32)S') flag++;
else if (version == '12.0(31)S6') flag++;
else if (version == '12.0(31)S5') flag++;
else if (version == '12.0(31)S4') flag++;
else if (version == '12.0(31)S3') flag++;
else if (version == '12.0(31)S2') flag++;
else if (version == '12.0(31)S1') flag++;
else if (version == '12.0(31)S') flag++;
else if (version == '12.0(30)S5') flag++;
else if (version == '12.0(30)S4') flag++;
else if (version == '12.0(30)S3') flag++;
else if (version == '12.0(30)S2') flag++;
else if (version == '12.0(30)S1') flag++;
else if (version == '12.0(30)S') flag++;
else if (version == '12.0(29)S1') flag++;
else if (version == '12.0(29)S') flag++;
else if (version == '12.0(28)S6') flag++;
else if (version == '12.0(28)S5') flag++;
else if (version == '12.0(28)S4') flag++;
else if (version == '12.0(28)S3') flag++;
else if (version == '12.0(28)S2') flag++;
else if (version == '12.0(28)S1') flag++;
else if (version == '12.0(28)S') flag++;
else if (version == '12.0(27)S5') flag++;
else if (version == '12.0(27)S4') flag++;
else if (version == '12.0(27)S3') flag++;
else if (version == '12.0(27)S2a') flag++;
else if (version == '12.0(27)S2') flag++;
else if (version == '12.0(27)S1') flag++;
else if (version == '12.0(27)S') flag++;
else if (version == '12.0(26)S6') flag++;
else if (version == '12.0(26)S5') flag++;
else if (version == '12.0(26)S4') flag++;
else if (version == '12.0(26)S3') flag++;
else if (version == '12.0(26)S2c') flag++;
else if (version == '12.0(26)S2') flag++;
else if (version == '12.0(26)S1') flag++;
else if (version == '12.0(26)S') flag++;
else if (version == '12.0(25)S4') flag++;
else if (version == '12.0(25)S3') flag++;
else if (version == '12.0(25)S2') flag++;
else if (version == '12.0(25)S1d') flag++;
else if (version == '12.0(25)S1c') flag++;
else if (version == '12.0(25)S1b') flag++;
else if (version == '12.0(25)S1a') flag++;
else if (version == '12.0(25)S1') flag++;
else if (version == '12.0(25)S') flag++;
else if (version == '12.0(24)S6') flag++;
else if (version == '12.0(24)S5') flag++;
else if (version == '12.0(24)S4a') flag++;
else if (version == '12.0(24)S4') flag++;
else if (version == '12.0(24)S3') flag++;
else if (version == '12.0(24)S2b') flag++;
else if (version == '12.0(24)S2a') flag++;
else if (version == '12.0(24)S2') flag++;
else if (version == '12.0(24)S1') flag++;
else if (version == '12.0(24)S') flag++;
else if (version == '12.0(23)S6a') flag++;
else if (version == '12.0(23)S6') flag++;
else if (version == '12.0(23)S5') flag++;
else if (version == '12.0(23)S4') flag++;
else if (version == '12.0(23)S3c') flag++;
else if (version == '12.0(23)S3b') flag++;
else if (version == '12.0(23)S3a') flag++;
else if (version == '12.0(23)S3') flag++;
else if (version == '12.0(23)S2a') flag++;
else if (version == '12.0(23)S2') flag++;
else if (version == '12.0(23)S1') flag++;
else if (version == '12.0(23)S') flag++;
else if (version == '12.0(22)S6') flag++;
else if (version == '12.0(22)S5a') flag++;
else if (version == '12.0(22)S5') flag++;
else if (version == '12.0(22)S4a') flag++;
else if (version == '12.0(22)S4') flag++;
else if (version == '12.0(22)S3c') flag++;
else if (version == '12.0(22)S3b') flag++;
else if (version == '12.0(22)S3a') flag++;
else if (version == '12.0(22)S3') flag++;
else if (version == '12.0(22)S2e') flag++;
else if (version == '12.0(22)S2d') flag++;
else if (version == '12.0(22)S2c') flag++;
else if (version == '12.0(22)S2b') flag++;
else if (version == '12.0(22)S2a') flag++;
else if (version == '12.0(22)S2') flag++;
else if (version == '12.0(22)S1') flag++;
else if (version == '12.0(22)S') flag++;
else if (version == '12.0(21)S8') flag++;
else if (version == '12.0(21)S7') flag++;
else if (version == '12.0(21)S6a') flag++;
else if (version == '12.0(21)S6') flag++;
else if (version == '12.0(21)S5a') flag++;
else if (version == '12.0(21)S5') flag++;
else if (version == '12.0(21)S4a') flag++;
else if (version == '12.0(21)S4') flag++;
else if (version == '12.0(21)S3') flag++;
else if (version == '12.0(21)S2') flag++;
else if (version == '12.0(21)S1') flag++;
else if (version == '12.0(21)S') flag++;
else if (version == '12.0(19)S4') flag++;
else if (version == '12.0(19)S3') flag++;
else if (version == '12.0(19)S2a') flag++;
else if (version == '12.0(19)S2') flag++;
else if (version == '12.0(19)S1') flag++;
else if (version == '12.0(19)S') flag++;
else if (version == '12.0(18)S7') flag++;
else if (version == '12.0(18)S6') flag++;
else if (version == '12.0(18)S5a') flag++;
else if (version == '12.0(18)S5') flag++;
else if (version == '12.0(18)S4') flag++;
else if (version == '12.0(18)S3') flag++;
else if (version == '12.0(18)S2') flag++;
else if (version == '12.0(18)S1') flag++;
else if (version == '12.0(18)S') flag++;
else if (version == '12.0(17)S7') flag++;
else if (version == '12.0(17)S6') flag++;
else if (version == '12.0(17)S5') flag++;
else if (version == '12.0(17)S4') flag++;
else if (version == '12.0(17)S3') flag++;
else if (version == '12.0(17)S2') flag++;
else if (version == '12.0(17)S1') flag++;
else if (version == '12.0(17)S') flag++;
else if (version == '12.0(16)S9') flag++;
else if (version == '12.0(16)S8a') flag++;
else if (version == '12.0(16)S8') flag++;
else if (version == '12.0(16)S7') flag++;
else if (version == '12.0(16)S6') flag++;
else if (version == '12.0(16)S5') flag++;
else if (version == '12.0(16)S4') flag++;
else if (version == '12.0(16)S3') flag++;
else if (version == '12.0(16)S2') flag++;
else if (version == '12.0(16)S10') flag++;
else if (version == '12.0(16)S1') flag++;
else if (version == '12.0(16)S') flag++;
else if (version == '12.0(15)S7') flag++;
else if (version == '12.0(15)S6') flag++;
else if (version == '12.0(15)S5') flag++;
else if (version == '12.0(15)S4') flag++;
else if (version == '12.0(15)S3') flag++;
else if (version == '12.0(15)S2') flag++;
else if (version == '12.0(15)S1') flag++;
else if (version == '12.0(15)S') flag++;
else if (version == '12.0(14)S8') flag++;
else if (version == '12.0(14)S7') flag++;
else if (version == '12.0(14)S6') flag++;
else if (version == '12.0(14)S5') flag++;
else if (version == '12.0(14)S4') flag++;
else if (version == '12.0(14)S3') flag++;
else if (version == '12.0(14)S2') flag++;
else if (version == '12.0(14)S1') flag++;
else if (version == '12.0(14)S') flag++;
else if (version == '12.0(13)S8') flag++;
else if (version == '12.0(13)S6') flag++;
else if (version == '12.0(13)S5') flag++;
else if (version == '12.0(13)S4') flag++;
else if (version == '12.0(13)S3') flag++;
else if (version == '12.0(13)S2') flag++;
else if (version == '12.0(13)S1') flag++;
else if (version == '12.0(13)S') flag++;
else if (version == '12.0(12)S4') flag++;
else if (version == '12.0(12)S3') flag++;
else if (version == '12.0(12)S2') flag++;
else if (version == '12.0(12)S1') flag++;
else if (version == '12.0(12)S') flag++;
else if (version == '12.0(11)S6') flag++;
else if (version == '12.0(11)S5') flag++;
else if (version == '12.0(11)S4') flag++;
else if (version == '12.0(11)S3') flag++;
else if (version == '12.0(11)S2') flag++;
else if (version == '12.0(11)S1') flag++;
else if (version == '12.0(11)S') flag++;
else if (version == '12.0(10)S8') flag++;
else if (version == '12.0(10)S7') flag++;
else if (version == '12.0(10)S5') flag++;
else if (version == '12.0(10)S4') flag++;
else if (version == '12.0(10)S3b') flag++;
else if (version == '12.0(10)S3') flag++;
else if (version == '12.0(10)S2') flag++;
else if (version == '12.0(10)S1') flag++;
else if (version == '12.0(10)S') flag++;
else if (version == '12.0(9)S8') flag++;
else if (version == '12.0(9)S') flag++;
else if (version == '12.0(8)S1') flag++;
else if (version == '12.0(8)S') flag++;
else if (version == '12.0(7)S1') flag++;
else if (version == '12.0(7)S') flag++;
else if (version == '12.0(6)S2') flag++;
else if (version == '12.0(6)S1') flag++;
else if (version == '12.0(6)S') flag++;
else if (version == '12.0(5)S') flag++;
else if (version == '12.0(4)S') flag++;
else if (version == '12.0(3)S') flag++;
else if (version == '12.0(2)S') flag++;
else if (version == '12.0(7)DC1') flag++;
else if (version == '12.0(7)DC') flag++;
else if (version == '12.0(7)DB2') flag++;
else if (version == '12.0(7)DB1') flag++;
else if (version == '12.0(7)DB') flag++;
else if (version == '12.0(3)DB') flag++;
else if (version == '12.0(2)DB') flag++;
else if (version == '12.0(8)DA') flag++;
else if (version == '12.0(28d)') flag++;
else if (version == '12.0(28c)') flag++;
else if (version == '12.0(28b)') flag++;
else if (version == '12.0(28a)') flag++;
else if (version == '12.0(28)') flag++;
else if (version == '12.0(27)') flag++;
else if (version == '12.0(26)') flag++;
else if (version == '12.0(25)') flag++;
else if (version == '12.0(24)') flag++;
else if (version == '12.0(23)') flag++;
else if (version == '12.0(22)') flag++;
else if (version == '12.0(21a)') flag++;
else if (version == '12.0(21)') flag++;
else if (version == '12.0(20a)') flag++;
else if (version == '12.0(20)') flag++;
else if (version == '12.0(19b)') flag++;
else if (version == '12.0(19a)') flag++;
else if (version == '12.0(19)') flag++;
else if (version == '12.0(18b)') flag++;
else if (version == '12.0(18a)') flag++;
else if (version == '12.0(18)') flag++;
else if (version == '12.0(17a)') flag++;
else if (version == '12.0(17)') flag++;
else if (version == '12.0(16a)') flag++;
else if (version == '12.0(16)') flag++;
else if (version == '12.0(15b)') flag++;
else if (version == '12.0(15a)') flag++;
else if (version == '12.0(15)') flag++;
else if (version == '12.0(14a)') flag++;
else if (version == '12.0(14)') flag++;
else if (version == '12.0(13a)') flag++;
else if (version == '12.0(13)') flag++;
else if (version == '12.0(12a)') flag++;
else if (version == '12.0(12)') flag++;
else if (version == '12.0(11a)') flag++;
else if (version == '12.0(11)') flag++;
else if (version == '12.0(10a)') flag++;
else if (version == '12.0(10)') flag++;
else if (version == '12.0(9a)') flag++;
else if (version == '12.0(9)') flag++;
else if (version == '12.0(8a)') flag++;
else if (version == '12.0(8)') flag++;
else if (version == '12.0(7a)') flag++;
else if (version == '12.0(7)') flag++;
else if (version == '12.0(6b)') flag++;
else if (version == '12.0(6a)') flag++;
else if (version == '12.0(6)') flag++;
else if (version == '12.0(5a)') flag++;
else if (version == '12.0(5)') flag++;
else if (version == '12.0(4b)') flag++;
else if (version == '12.0(4a)') flag++;
else if (version == '12.0(4)') flag++;
else if (version == '12.0(3d)') flag++;
else if (version == '12.0(3c)') flag++;
else if (version == '12.0(3b)') flag++;
else if (version == '12.0(3)') flag++;
else if (version == '12.0(2b)') flag++;
else if (version == '12.0(2a)') flag++;
else if (version == '12.0(2)') flag++;
else if (version == '12.0(1a)') flag++;
else if (version == '12.0(1)') flag++;
if (get_kb_item("Host/local_checks_enabled"))
{
if (flag)
{
flag = 0;
buf = cisco_command_kb_item("Host/Cisco/Config/show_ip_http_server_status", "show ip http server status");
if (check_cisco_result(buf))
{
if (preg(pattern:"HTTP server status: Enabled", multiline:TRUE, string:buf)) { flag = 1; }
if (preg(pattern:"HTTP secure server status: Enabled", multiline:TRUE, string:buf)) { flag = 1; }
} else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }
}
}
if (flag)
{
security_warning(port:0, extra:cisco_caveat(override));
exit(0);
}
else audit(AUDIT_HOST_NOT, "affected");
|