SNMP Version 3 Authentication Vulnerabilities (cisco-sa-20080610-snmpv3)

#TRUSTED 2a6a627dbda2d5fe056ee794cac7159a25249549f94c7a3a52f3618dfe42115e4f2f27373de2db5a5172efd632717c38138ecdd9ea885ecafde4b2d8035159c424b34b62e3b99b31fb204e79d564635f9eb6f19f9201c031abb1909511070fbdcd56aaa33f46334a7b3c3b2eeb402570f297ace9e95f02e4ea8012b4adf1636886130ce8414d66dcfc2845bb29e6b4ef21413e6e5d2586d64a85ce9f2adc66a2511df340f6573fd0125296f38313ac23be8eac6f928258aaa311008274aaf09b393f5b75101c7a39dfa6be55cf0bacd30e2d90e612be2436adf8ced0e9e7aa5f01678a3ad6fc07708be943aa2a4d5e3e5d9c9a1e5c2710a9fb59d37a91a1bf5d9317b2c000fedb5894d3debb05b94b19a7313191e6155d0c1666dfc072bac7f149ee13c1771dcfd8f62d2df17cae9acd2375b059132acfc3cdc3e2e97460de778a64eccdde045bdcd8a045254ed32daadae1e269f5ac2d15a5da0218fda3f59f1f86d9dd266d296d38959e68d3df9691a9686e47c0d450410b54e60fd5cdc80109fb9041173fcdd49ad8f95a71d19084ebc9881731aba150d11f4d9ceca184f8e2bae3252d8c4c547880def34d7cb6ef1b1ed86a61ff5b2f77e4b04af8220eb427c3be9c4568d75019185bf2dad47bfd2306daa780824e75005ab2ee5fb48bbf9b5bdf6c093eb4539f3a0550ecfaa773adc635bb1f53af54e81ac4e2c8c8c8d3
#
# (C) Tenable Network Security, Inc.
#
# The descriptive text and package checks in this plugin were
# extracted from Cisco Security Advisory cisco-sa-20080610-snmpv3.
# The text itself is copyright (C) Cisco
#

include("compat.inc");

if (description)
{
  script_id(49016);
  script_version("1.28");
  script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15");


  script_cve_id("CVE-2008-0960");
  script_bugtraq_id(29623);
  script_xref(name:"CISCO-BUG-ID", value:"CSCsf04754");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20080610-snmpv3");

  script_name(english:"SNMP Version 3 Authentication Vulnerabilities (cisco-sa-20080610-snmpv3)");
  script_summary(english:"Checks the IOS version.");

  script_set_attribute(
    attribute:"synopsis",
    value:"The remote device is missing a vendor-supplied security patch."
  );
  script_set_attribute(
    attribute:"description",
    value:
"Multiple Cisco products contain either of two authentication
vulnerabilities in the Simple Network Management Protocol version 3
(SNMPv3) feature. These vulnerabilities can be exploited when
processing a malformed SNMPv3 message. These vulnerabilities could
allow the disclosure of network information or may enable an attacker
to perform configuration changes to vulnerable devices. The SNMP
server is an optional service that is disabled by default in Cisco
products. Only SNMPv3 is impacted by these vulnerabilities.
Workarounds are available for mitigating the impact of the
vulnerabilities described in this document. Note: SNMP versions 1, 2
and 2c are not impacted by these vulnerabilities. The United States
Computer Emergency Response Team (US-CERT) has assigned Vulnerability
Note VU#878044."
  );
  # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20080610-snmpv3
  script_set_attribute(
    attribute:"see_also",
    value:"http://www.nessus.org/u?0784818d"
  );
  script_set_attribute(
    attribute:"solution",
    value:
"Apply the relevant patch referenced in Cisco Security Advisory
cisco-sa-20080610-snmpv3."
  );
  script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:C/I:C/A:C");
  script_set_attribute(attribute:"exploitability_ease", value:"Exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"true");
  script_set_attribute(attribute:"exploit_framework_canvas", value:"true");
  script_set_attribute(attribute:"canvas_package", value:'D2ExploitPack');
  script_cwe_id(287);

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios");

  script_set_attribute(attribute:"vuln_publication_date", value:"2008/06/10");
  script_set_attribute(attribute:"patch_publication_date", value:"2012/11/16");
  script_set_attribute(attribute:"plugin_publication_date", value:"2010/09/01");

  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_copyright(english:"This script is Copyright (C) 2010-2018 Tenable Network Security, Inc.");
  script_family(english:"CISCO");

  script_dependencies("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.0(10)S' ) flag++;
if ( version == '12.0(10)S1' ) flag++;
if ( version == '12.0(10)S2' ) flag++;
if ( version == '12.0(10)S3' ) flag++;
if ( version == '12.0(10)S3b' ) flag++;
if ( version == '12.0(10)S4' ) flag++;
if ( version == '12.0(10)S5' ) flag++;
if ( version == '12.0(10)S7' ) flag++;
if ( version == '12.0(10)S8' ) flag++;
if ( version == '12.0(10)SC' ) flag++;
if ( version == '12.0(10)SC1' ) flag++;
if ( version == '12.0(10)SL' ) flag++;
if ( version == '12.0(10)ST' ) flag++;
if ( version == '12.0(10)ST1' ) flag++;
if ( version == '12.0(10)ST2' ) flag++;
if ( version == '12.0(10)SX' ) flag++;
if ( version == '12.0(11)S' ) flag++;
if ( version == '12.0(11)S1' ) flag++;
if ( version == '12.0(11)S2' ) flag++;
if ( version == '12.0(11)S3' ) flag++;
if ( version == '12.0(11)S4' ) flag++;
if ( version == '12.0(11)S5' ) flag++;
if ( version == '12.0(11)S6' ) flag++;
if ( version == '12.0(11)SC' ) flag++;
if ( version == '12.0(11)SL' ) flag++;
if ( version == '12.0(11)SL1' ) flag++;
if ( version == '12.0(11)ST' ) flag++;
if ( version == '12.0(11)ST1' ) flag++;
if ( version == '12.0(11)ST2' ) flag++;
if ( version == '12.0(11)ST3' ) flag++;
if ( version == '12.0(11)ST4' ) flag++;
if ( version == '12.0(12)S' ) flag++;
if ( version == '12.0(12)S1' ) flag++;
if ( version == '12.0(12)S2' ) flag++;
if ( version == '12.0(12)S3' ) flag++;
if ( version == '12.0(12)S4' ) flag++;
if ( version == '12.0(12)SC' ) flag++;
if ( version == '12.0(13)S' ) flag++;
if ( version == '12.0(13)S1' ) flag++;
if ( version == '12.0(13)S2' ) flag++;
if ( version == '12.0(13)S3' ) flag++;
if ( version == '12.0(13)S4' ) flag++;
if ( version == '12.0(13)S5' ) flag++;
if ( version == '12.0(13)S6' ) flag++;
if ( version == '12.0(13)S8' ) flag++;
if ( version == '12.0(13)SC' ) flag++;
if ( version == '12.0(14)S' ) flag++;
if ( version == '12.0(14)S1' ) flag++;
if ( version == '12.0(14)S2' ) flag++;
if ( version == '12.0(14)S3' ) flag++;
if ( version == '12.0(14)S4' ) flag++;
if ( version == '12.0(14)S5' ) flag++;
if ( version == '12.0(14)S6' ) flag++;
if ( version == '12.0(14)S7' ) flag++;
if ( version == '12.0(14)S8' ) flag++;
if ( version == '12.0(14)SC' ) flag++;
if ( version == '12.0(14)SL' ) flag++;
if ( version == '12.0(14)SL1' ) flag++;
if ( version == '12.0(14)ST' ) flag++;
if ( version == '12.0(14)ST1' ) flag++;
if ( version == '12.0(14)ST2' ) flag++;
if ( version == '12.0(14)ST3' ) flag++;
if ( version == '12.0(15)S' ) flag++;
if ( version == '12.0(15)S1' ) flag++;
if ( version == '12.0(15)S2' ) flag++;
if ( version == '12.0(15)S3' ) flag++;
if ( version == '12.0(15)S4' ) flag++;
if ( version == '12.0(15)S5' ) flag++;
if ( version == '12.0(15)S6' ) flag++;
if ( version == '12.0(15)S7' ) flag++;
if ( version == '12.0(15)SC' ) flag++;
if ( version == '12.0(15)SC1' ) flag++;
if ( version == '12.0(15)SL' ) flag++;
if ( version == '12.0(16)S' ) flag++;
if ( version == '12.0(16)S1' ) flag++;
if ( version == '12.0(16)S10' ) flag++;
if ( version == '12.0(16)S2' ) flag++;
if ( version == '12.0(16)S3' ) flag++;
if ( version == '12.0(16)S4' ) flag++;
if ( version == '12.0(16)S5' ) flag++;
if ( version == '12.0(16)S6' ) flag++;
if ( version == '12.0(16)S7' ) flag++;
if ( version == '12.0(16)S8' ) flag++;
if ( version == '12.0(16)S8a' ) flag++;
if ( version == '12.0(16)S9' ) flag++;
if ( version == '12.0(16)SC' ) flag++;
if ( version == '12.0(16)SC1' ) flag++;
if ( version == '12.0(16)SC2' ) flag++;
if ( version == '12.0(16)SC3' ) flag++;
if ( version == '12.0(16)ST' ) flag++;
if ( version == '12.0(16)ST1' ) flag++;
if ( version == '12.0(17)S' ) flag++;
if ( version == '12.0(17)S1' ) flag++;
if ( version == '12.0(17)S2' ) flag++;
if ( version == '12.0(17)S3' ) flag++;
if ( version == '12.0(17)S4' ) flag++;
if ( version == '12.0(17)S5' ) flag++;
if ( version == '12.0(17)S6' ) flag++;
if ( version == '12.0(17)S7' ) flag++;
if ( version == '12.0(17)SL' ) flag++;
if ( version == '12.0(17)SL1' ) flag++;
if ( version == '12.0(17)SL2' ) flag++;
if ( version == '12.0(17)SL3' ) flag++;
if ( version == '12.0(17)SL4' ) flag++;
if ( version == '12.0(17)SL5' ) flag++;
if ( version == '12.0(17)SL6' ) flag++;
if ( version == '12.0(17)SL8' ) flag++;
if ( version == '12.0(17)ST' ) flag++;
if ( version == '12.0(17)ST1' ) flag++;
if ( version == '12.0(17)ST2' ) flag++;
if ( version == '12.0(17)ST3' ) flag++;
if ( version == '12.0(17)ST4' ) flag++;
if ( version == '12.0(17)ST5' ) flag++;
if ( version == '12.0(17)ST6' ) flag++;
if ( version == '12.0(17)ST7' ) flag++;
if ( version == '12.0(17)ST8' ) flag++;
if ( version == '12.0(18)S' ) flag++;
if ( version == '12.0(18)S1' ) flag++;
if ( version == '12.0(18)S2' ) flag++;
if ( version == '12.0(18)S3' ) flag++;
if ( version == '12.0(18)S4' ) flag++;
if ( version == '12.0(18)S5' ) flag++;
if ( version == '12.0(18)S5a' ) flag++;
if ( version == '12.0(18)S6' ) flag++;
if ( version == '12.0(18)S7' ) flag++;
if ( version == '12.0(18)ST' ) flag++;
if ( version == '12.0(18)ST1' ) flag++;
if ( version == '12.0(19)S' ) flag++;
if ( version == '12.0(19)S1' ) flag++;
if ( version == '12.0(19)S2' ) flag++;
if ( version == '12.0(19)S2a' ) flag++;
if ( version == '12.0(19)S3' ) flag++;
if ( version == '12.0(19)S4' ) flag++;
if ( version == '12.0(19)SL' ) flag++;
if ( version == '12.0(19)SL1' ) flag++;
if ( version == '12.0(19)SL2' ) flag++;
if ( version == '12.0(19)SL3' ) flag++;
if ( version == '12.0(19)SL4' ) flag++;
if ( version == '12.0(19)SP' ) flag++;
if ( version == '12.0(19)ST' ) flag++;
if ( version == '12.0(19)ST1' ) flag++;
if ( version == '12.0(19)ST2' ) flag++;
if ( version == '12.0(19)ST3' ) flag++;
if ( version == '12.0(19)ST4' ) flag++;
if ( version == '12.0(19)ST5' ) flag++;
if ( version == '12.0(19)ST6' ) flag++;
if ( version == '12.0(2)XH' ) flag++;
if ( version == '12.0(20)SP' ) flag++;
if ( version == '12.0(20)SP1' ) flag++;
if ( version == '12.0(20)SP2' ) flag++;
if ( version == '12.0(20)ST' ) flag++;
if ( version == '12.0(20)ST1' ) flag++;
if ( version == '12.0(20)ST2' ) flag++;
if ( version == '12.0(20)ST3' ) flag++;
if ( version == '12.0(20)ST4' ) flag++;
if ( version == '12.0(20)ST5' ) flag++;
if ( version == '12.0(20)ST6' ) flag++;
if ( version == '12.0(21)S' ) flag++;
if ( version == '12.0(21)S1' ) flag++;
if ( version == '12.0(21)S2' ) flag++;
if ( version == '12.0(21)S3' ) flag++;
if ( version == '12.0(21)S4' ) flag++;
if ( version == '12.0(21)S4a' ) flag++;
if ( version == '12.0(21)S5' ) flag++;
if ( version == '12.0(21)S5a' ) flag++;
if ( version == '12.0(21)S6' ) flag++;
if ( version == '12.0(21)S6a' ) flag++;
if ( version == '12.0(21)S7' ) flag++;
if ( version == '12.0(21)S8' ) flag++;
if ( version == '12.0(21)SP' ) flag++;
if ( version == '12.0(21)SP1' ) flag++;
if ( version == '12.0(21)SP2' ) flag++;
if ( version == '12.0(21)SP3' ) flag++;
if ( version == '12.0(21)SP4' ) flag++;
if ( version == '12.0(21)ST' ) flag++;
if ( version == '12.0(21)ST1' ) flag++;
if ( version == '12.0(21)ST2' ) flag++;
if ( version == '12.0(21)ST2a' ) flag++;
if ( version == '12.0(21)ST2b' ) flag++;
if ( version == '12.0(21)ST3' ) flag++;
if ( version == '12.0(21)ST3a' ) flag++;
if ( version == '12.0(21)ST4' ) flag++;
if ( version == '12.0(21)ST5' ) flag++;
if ( version == '12.0(21)ST6' ) flag++;
if ( version == '12.0(21)ST6a' ) flag++;
if ( version == '12.0(21)ST7' ) flag++;
if ( version == '12.0(21)SX' ) flag++;
if ( version == '12.0(21)SX1' ) flag++;
if ( version == '12.0(21)SZ' ) flag++;
if ( version == '12.0(22)S' ) flag++;
if ( version == '12.0(22)S1' ) flag++;
if ( version == '12.0(22)S2' ) flag++;
if ( version == '12.0(22)S2a' ) flag++;
if ( version == '12.0(22)S2b' ) flag++;
if ( version == '12.0(22)S2c' ) flag++;
if ( version == '12.0(22)S2d' ) flag++;
if ( version == '12.0(22)S2e' ) flag++;
if ( version == '12.0(22)S3' ) flag++;
if ( version == '12.0(22)S3a' ) flag++;
if ( version == '12.0(22)S3b' ) flag++;
if ( version == '12.0(22)S3c' ) flag++;
if ( version == '12.0(22)S4' ) flag++;
if ( version == '12.0(22)S4a' ) flag++;
if ( version == '12.0(22)S5' ) flag++;
if ( version == '12.0(22)S5a' ) flag++;
if ( version == '12.0(22)S6' ) flag++;
if ( version == '12.0(23)S' ) flag++;
if ( version == '12.0(23)S1' ) flag++;
if ( version == '12.0(23)S2' ) flag++;
if ( version == '12.0(23)S2a' ) flag++;
if ( version == '12.0(23)S3' ) flag++;
if ( version == '12.0(23)S3a' ) flag++;
if ( version == '12.0(23)S3b' ) flag++;
if ( version == '12.0(23)S3c' ) flag++;
if ( version == '12.0(23)S4' ) flag++;
if ( version == '12.0(23)S5' ) flag++;
if ( version == '12.0(23)S6' ) flag++;
if ( version == '12.0(23)S6a' ) flag++;
if ( version == '12.0(23)SX' ) flag++;
if ( version == '12.0(23)SX1' ) flag++;
if ( version == '12.0(23)SX2' ) flag++;
if ( version == '12.0(23)SX3' ) flag++;
if ( version == '12.0(23)SX4' ) flag++;
if ( version == '12.0(23)SX5' ) flag++;
if ( version == '12.0(23)SZ3' ) flag++;
if ( version == '12.0(24)S' ) flag++;
if ( version == '12.0(24)S1' ) flag++;
if ( version == '12.0(24)S2' ) flag++;
if ( version == '12.0(24)S2a' ) flag++;
if ( version == '12.0(24)S2b' ) flag++;
if ( version == '12.0(24)S3' ) flag++;
if ( version == '12.0(24)S4' ) flag++;
if ( version == '12.0(24)S4a' ) flag++;
if ( version == '12.0(24)S5' ) flag++;
if ( version == '12.0(24)S6' ) flag++;
if ( version == '12.0(25)S' ) flag++;
if ( version == '12.0(25)S1' ) flag++;
if ( version == '12.0(25)S1a' ) flag++;
if ( version == '12.0(25)S1b' ) flag++;
if ( version == '12.0(25)S1c' ) flag++;
if ( version == '12.0(25)S1d' ) flag++;
if ( version == '12.0(25)S2' ) flag++;
if ( version == '12.0(25)S3' ) flag++;
if ( version == '12.0(25)S4' ) flag++;
if ( version == '12.0(25)SX' ) flag++;
if ( version == '12.0(25)SX1' ) flag++;
if ( version == '12.0(25)SX10' ) flag++;
if ( version == '12.0(25)SX2' ) flag++;
if ( version == '12.0(25)SX3' ) flag++;
if ( version == '12.0(25)SX4' ) flag++;
if ( version == '12.0(25)SX5' ) flag++;
if ( version == '12.0(25)SX6' ) flag++;
if ( version == '12.0(25)SX6e' ) flag++;
if ( version == '12.0(25)SX7' ) flag++;
if ( version == '12.0(25)SX8' ) flag++;
if ( version == '12.0(25)SX9' ) flag++;
if ( version == '12.0(26)S' ) flag++;
if ( version == '12.0(26)S1' ) flag++;
if ( version == '12.0(26)S2' ) flag++;
if ( version == '12.0(26)S2c' ) flag++;
if ( version == '12.0(26)S3' ) flag++;
if ( version == '12.0(26)S4' ) flag++;
if ( version == '12.0(26)S5' ) flag++;
if ( version == '12.0(26)S6' ) flag++;
if ( version == '12.0(27)S' ) flag++;
if ( version == '12.0(27)S1' ) flag++;
if ( version == '12.0(27)S2' ) flag++;
if ( version == '12.0(27)S2a' ) flag++;
if ( version == '12.0(27)S3' ) flag++;
if ( version == '12.0(27)S4' ) flag++;
if ( version == '12.0(27)S5' ) flag++;
if ( version == '12.0(28)S' ) flag++;
if ( version == '12.0(28)S2' ) flag++;
if ( version == '12.0(28)S3' ) flag++;
if ( version == '12.0(28)S4' ) flag++;
if ( version == '12.0(28)S5' ) flag++;
if ( version == '12.0(28)S6' ) flag++;
if ( version == '12.0(28)SW1' ) flag++;
if ( version == '12.0(29)S' ) flag++;
if ( version == '12.0(29)S1' ) flag++;
if ( version == '12.0(3)T' ) flag++;
if ( version == '12.0(3)T1' ) flag++;
if ( version == '12.0(3)T2' ) flag++;
if ( version == '12.0(3)T3' ) flag++;
if ( version == '12.0(3)XE' ) flag++;
if ( version == '12.0(3)XE1' ) flag++;
if ( version == '12.0(3)XE2' ) flag++;
if ( version == '12.0(3)XG' ) flag++;
if ( version == '12.0(30)S' ) flag++;
if ( version == '12.0(30)S1' ) flag++;
if ( version == '12.0(30)S2' ) flag++;
if ( version == '12.0(30)S3' ) flag++;
if ( version == '12.0(30)S4' ) flag++;
if ( version == '12.0(30)S5' ) flag++;
if ( version == '12.0(31)S' ) flag++;
if ( version == '12.0(31)S1' ) flag++;
if ( version == '12.0(31)S2' ) flag++;
if ( version == '12.0(31)S3' ) flag++;
if ( version == '12.0(31)S4' ) flag++;
if ( version == '12.0(31)S5' ) flag++;
if ( version == '12.0(31)S6' ) flag++;
if ( version == '12.0(32)S' ) flag++;
if ( version == '12.0(32)S1' ) flag++;
if ( version == '12.0(32)S2' ) flag++;
if ( version == '12.0(32)S3' ) flag++;
if ( version == '12.0(32)S4' ) flag++;
if ( version == '12.0(32)SY' ) flag++;
if ( version == '12.0(4)T' ) flag++;
if ( version == '12.0(4)T1' ) flag++;
if ( version == '12.0(4)XE' ) flag++;
if ( version == '12.0(4)XE2' ) flag++;
if ( version == '12.0(4)XH' ) flag++;
if ( version == '12.0(4)XH1' ) flag++;
if ( version == '12.0(4)XH3' ) flag++;
if ( version == '12.0(4)XH4' ) flag++;
if ( version == '12.0(4)XI' ) flag++;
if ( version == '12.0(4)XI1' ) flag++;
if ( version == '12.0(4)XJ' ) flag++;
if ( version == '12.0(4)XJ1' ) flag++;
if ( version == '12.0(4)XJ2' ) flag++;
if ( version == '12.0(4)XJ3' ) flag++;
if ( version == '12.0(4)XJ4' ) flag++;
if ( version == '12.0(4)XJ5' ) flag++;
if ( version == '12.0(4)XJ6' ) flag++;
if ( version == '12.0(4)XL' ) flag++;
if ( version == '12.0(4)XL1' ) flag++;
if ( version == '12.0(4)XM' ) flag++;
if ( version == '12.0(4)XM1' ) flag++;
if ( version == '12.0(5)T' ) flag++;
if ( version == '12.0(5)T1' ) flag++;
if ( version == '12.0(5)T2' ) flag++;
if ( version == '12.0(5)WC10' ) flag++;
if ( version == '12.0(5)WC11' ) flag++;
if ( version == '12.0(5)WC12' ) flag++;
if ( version == '12.0(5)WC13' ) flag++;
if ( version == '12.0(5)WC14' ) flag++;
if ( version == '12.0(5)WC15' ) flag++;
if ( version == '12.0(5)WC3a' ) flag++;
if ( version == '12.0(5)WC4' ) flag++;
if ( version == '12.0(5)WC4a' ) flag++;
if ( version == '12.0(5)WC5' ) flag++;
if ( version == '12.0(5)WC5a' ) flag++;
if ( version == '12.0(5)WC6' ) flag++;
if ( version == '12.0(5)WC7' ) flag++;
if ( version == '12.0(5)WC8' ) flag++;
if ( version == '12.0(5)WC9' ) flag++;
if ( version == '12.0(5)WC9a' ) flag++;
if ( version == '12.0(5)XE' ) flag++;
if ( version == '12.0(5)XE1' ) flag++;
if ( version == '12.0(5)XE2' ) flag++;
if ( version == '12.0(5)XE3' ) flag++;
if ( version == '12.0(5)XE4' ) flag++;
if ( version == '12.0(5)XE5' ) flag++;
if ( version == '12.0(5)XE6' ) flag++;
if ( version == '12.0(5)XE7' ) flag++;
if ( version == '12.0(5)XE8' ) flag++;
if ( version == '12.0(5)XK' ) flag++;
if ( version == '12.0(5)XK1' ) flag++;
if ( version == '12.0(5)XK2' ) flag++;
if ( version == '12.0(5)XN' ) flag++;
if ( version == '12.0(5)XQ' ) flag++;
if ( version == '12.0(5)XQ1' ) flag++;
if ( version == '12.0(5)XS1' ) flag++;
if ( version == '12.0(5)XS2' ) flag++;
if ( version == '12.0(5)XT1' ) flag++;
if ( version == '12.0(6)S' ) flag++;
if ( version == '12.0(6)S1' ) flag++;
if ( version == '12.0(6)S2' ) flag++;
if ( version == '12.0(6)SC' ) flag++;
if ( version == '12.0(7)DB' ) flag++;
if ( version == '12.0(7)DB1' ) flag++;
if ( version == '12.0(7)DB2' ) flag++;
if ( version == '12.0(7)DC' ) flag++;
if ( version == '12.0(7)DC1' ) flag++;
if ( version == '12.0(7)S' ) flag++;
if ( version == '12.0(7)T' ) flag++;
if ( version == '12.0(7)T2' ) flag++;
if ( version == '12.0(7)T3' ) flag++;
if ( version == '12.0(7)XE1' ) flag++;
if ( version == '12.0(7)XE2' ) flag++;
if ( version == '12.0(7)XF1' ) flag++;
if ( version == '12.0(7)XK' ) flag++;
if ( version == '12.0(7)XK1' ) flag++;
if ( version == '12.0(7)XK2' ) flag++;
if ( version == '12.0(7)XK3' ) flag++;
if ( version == '12.0(7)XR1' ) flag++;
if ( version == '12.0(7)XR2' ) flag++;
if ( version == '12.0(7)XR3' ) flag++;
if ( version == '12.0(7)XR4' ) flag++;
if ( version == '12.0(7)XV' ) flag++;
if ( version == '12.0(8)S' ) flag++;
if ( version == '12.0(8)S1' ) flag++;
if ( version == '12.0(8)SC' ) flag++;
if ( version == '12.0(8)SC1' ) flag++;
if ( version == '12.0(9)S' ) flag++;
if ( version == '12.0(9)S8' ) flag++;
if ( version == '12.0(9)SC' ) flag++;
if ( version == '12.0(9)SL' ) flag++;
if ( version == '12.0(9)SL1' ) flag++;
if ( version == '12.0(9)SL2' ) flag++;
if ( version == '12.0(9)ST' ) flag++;
if ( version == '12.1(1)' ) flag++;
if ( version == '12.1(1)AA' ) flag++;
if ( version == '12.1(1)AA1' ) flag++;
if ( version == '12.1(1)DA' ) flag++;
if ( version == '12.1(1)DA1' ) flag++;
if ( version == '12.1(1)DB' ) flag++;
if ( version == '12.1(1)DB2' ) flag++;
if ( version == '12.1(1)DC' ) flag++;
if ( version == '12.1(1)DC1' ) flag++;
if ( version == '12.1(1)DC2' ) flag++;
if ( version == '12.1(1)E' ) flag++;
if ( version == '12.1(1)E1' ) flag++;
if ( version == '12.1(1)E3' ) flag++;
if ( version == '12.1(1)E4' ) flag++;
if ( version == '12.1(1)E5' ) flag++;
if ( version == '12.1(1)E6' ) flag++;
if ( version == '12.1(1)EX' ) flag++;
if ( version == '12.1(1)EX1' ) flag++;
if ( version == '12.1(1)GA' ) flag++;
if ( version == '12.1(1)GA1' ) flag++;
if ( version == '12.1(1)T' ) flag++;
if ( version == '12.1(1)XA' ) flag++;
if ( version == '12.1(1)XA2' ) flag++;
if ( version == '12.1(1)XA3' ) flag++;
if ( version == '12.1(1)XA4' ) flag++;
if ( version == '12.1(1)XB' ) flag++;
if ( version == '12.1(1)XC1' ) flag++;
if ( version == '12.1(1)XD' ) flag++;
if ( version == '12.1(1)XD1' ) flag++;
if ( version == '12.1(1)XD2' ) flag++;
if ( version == '12.1(1)XE' ) flag++;
if ( version == '12.1(1)XE1' ) flag++;
if ( version == '12.1(10)' ) flag++;
if ( version == '12.1(10)AA' ) flag++;
if ( version == '12.1(10)E' ) flag++;
if ( version == '12.1(10)E1' ) flag++;
if ( version == '12.1(10)E2' ) flag++;
if ( version == '12.1(10)E3' ) flag++;
if ( version == '12.1(10)E4' ) flag++;
if ( version == '12.1(10)E5' ) flag++;
if ( version == '12.1(10)E6' ) flag++;
if ( version == '12.1(10)E6a' ) flag++;
if ( version == '12.1(10)E7' ) flag++;
if ( version == '12.1(10)E8' ) flag++;
if ( version == '12.1(10)EC' ) flag++;
if ( version == '12.1(10)EC1' ) flag++;
if ( version == '12.1(10)EV' ) flag++;
if ( version == '12.1(10)EV1' ) flag++;
if ( version == '12.1(10)EV1a' ) flag++;
if ( version == '12.1(10)EV2' ) flag++;
if ( version == '12.1(10)EV3' ) flag++;
if ( version == '12.1(10)EV4' ) flag++;
if ( version == '12.1(10)EX' ) flag++;
if ( version == '12.1(10)EX1' ) flag++;
if ( version == '12.1(10)EX2' ) flag++;
if ( version == '12.1(10)EY' ) flag++;
if ( version == '12.1(10a)' ) flag++;
if ( version == '12.1(11)' ) flag++;
if ( version == '12.1(11)AX' ) flag++;
if ( version == '12.1(11)EA1' ) flag++;
if ( version == '12.1(11)EA1a' ) flag++;
if ( version == '12.1(11)YJ' ) flag++;
if ( version == '12.1(11)YJ2' ) flag++;
if ( version == '12.1(11)YJ3' ) flag++;
if ( version == '12.1(11)YJ4' ) flag++;
if ( version == '12.1(11a)' ) flag++;
if ( version == '12.1(11b)' ) flag++;
if ( version == '12.1(11b)E' ) flag++;
if ( version == '12.1(11b)E0a' ) flag++;
if ( version == '12.1(11b)E1' ) flag++;
if ( version == '12.1(11b)E11' ) flag++;
if ( version == '12.1(11b)E12' ) flag++;
if ( version == '12.1(11b)E14' ) flag++;
if ( version == '12.1(11b)E2' ) flag++;
if ( version == '12.1(11b)E3' ) flag++;
if ( version == '12.1(11b)E4' ) flag++;
if ( version == '12.1(11b)E5' ) flag++;
if ( version == '12.1(11b)E7' ) flag++;
if ( version == '12.1(11b)EC' ) flag++;
if ( version == '12.1(11b)EC1' ) flag++;
if ( version == '12.1(11b)EW' ) flag++;
if ( version == '12.1(11b)EW1' ) flag++;
if ( version == '12.1(11b)EX' ) flag++;
if ( version == '12.1(11b)EX1' ) flag++;
if ( version == '12.1(12)' ) flag++;
if ( version == '12.1(12a)' ) flag++;
if ( version == '12.1(12b)' ) flag++;
if ( version == '12.1(12c)' ) flag++;
if ( version == '12.1(12c)E' ) flag++;
if ( version == '12.1(12c)E1' ) flag++;
if ( version == '12.1(12c)E2' ) flag++;
if ( version == '12.1(12c)E3' ) flag++;
if ( version == '12.1(12c)E4' ) flag++;
if ( version == '12.1(12c)E5' ) flag++;
if ( version == '12.1(12c)E6' ) flag++;
if ( version == '12.1(12c)EA1' ) flag++;
if ( version == '12.1(12c)EC' ) flag++;
if ( version == '12.1(12c)EC1' ) flag++;
if ( version == '12.1(12c)EV' ) flag++;
if ( version == '12.1(12c)EV1' ) flag++;
if ( version == '12.1(12c)EV2' ) flag++;
if ( version == '12.1(12c)EV3' ) flag++;
if ( version == '12.1(12c)EW' ) flag++;
if ( version == '12.1(12c)EW1' ) flag++;
if ( version == '12.1(12c)EW2' ) flag++;
if ( version == '12.1(12c)EW3' ) flag++;
if ( version == '12.1(12c)EW4' ) flag++;
if ( version == '12.1(12c)EX' ) flag++;
if ( version == '12.1(12c)EX1' ) flag++;
if ( version == '12.1(12c)EY' ) flag++;
if ( version == '12.1(13)' ) flag++;
if ( version == '12.1(13)AY' ) flag++;
if ( version == '12.1(13)E' ) flag++;
if ( version == '12.1(13)E1' ) flag++;
if ( version == '12.1(13)E10' ) flag++;
if ( version == '12.1(13)E11' ) flag++;
if ( version == '12.1(13)E12' ) flag++;
if ( version == '12.1(13)E13' ) flag++;
if ( version == '12.1(13)E14' ) flag++;
if ( version == '12.1(13)E15' ) flag++;
if ( version == '12.1(13)E16' ) flag++;
if ( version == '12.1(13)E17' ) flag++;
if ( version == '12.1(13)E2' ) flag++;
if ( version == '12.1(13)E3' ) flag++;
if ( version == '12.1(13)E4' ) flag++;
if ( version == '12.1(13)E5' ) flag++;
if ( version == '12.1(13)E6' ) flag++;
if ( version == '12.1(13)E7' ) flag++;
if ( version == '12.1(13)E8' ) flag++;
if ( version == '12.1(13)E9' ) flag++;
if ( version == '12.1(13)EA1' ) flag++;
if ( version == '12.1(13)EA1a' ) flag++;
if ( version == '12.1(13)EA1b' ) flag++;
if ( version == '12.1(13)EA1c' ) flag++;
if ( version == '12.1(13)EB' ) flag++;
if ( version == '12.1(13)EB1' ) flag++;
if ( version == '12.1(13)EC' ) flag++;
if ( version == '12.1(13)EC1' ) flag++;
if ( version == '12.1(13)EC2' ) flag++;
if ( version == '12.1(13)EC3' ) flag++;
if ( version == '12.1(13)EC4' ) flag++;
if ( version == '12.1(13)EW' ) flag++;
if ( version == '12.1(13)EW1' ) flag++;
if ( version == '12.1(13)EW2' ) flag++;
if ( version == '12.1(13)EW3' ) flag++;
if ( version == '12.1(13)EW4' ) flag++;
if ( version == '12.1(13)EX' ) flag++;
if ( version == '12.1(13)EX1' ) flag++;
if ( version == '12.1(13)EX2' ) flag++;
if ( version == '12.1(13)EX3' ) flag++;
if ( version == '12.1(13a)' ) flag++;
if ( version == '12.1(14)' ) flag++;
if ( version == '12.1(14)AX' ) flag++;
if ( version == '12.1(14)AX1' ) flag++;
if ( version == '12.1(14)AX2' ) flag++;
if ( version == '12.1(14)AX3' ) flag++;
if ( version == '12.1(14)AX4' ) flag++;
if ( version == '12.1(14)AZ' ) flag++;
if ( version == '12.1(14)E' ) flag++;
if ( version == '12.1(14)E1' ) flag++;
if ( version == '12.1(14)E10' ) flag++;
if ( version == '12.1(14)E2' ) flag++;
if ( version == '12.1(14)E3' ) flag++;
if ( version == '12.1(14)E4' ) flag++;
if ( version == '12.1(14)E5' ) flag++;
if ( version == '12.1(14)E6' ) flag++;
if ( version == '12.1(14)E7' ) flag++;
if ( version == '12.1(14)EA1' ) flag++;
if ( version == '12.1(14)EA1a' ) flag++;
if ( version == '12.1(14)EA1b' ) flag++;
if ( version == '12.1(14)EB' ) flag++;
if ( version == '12.1(14)EB1' ) flag++;
if ( version == '12.1(14)EO' ) flag++;
if ( version == '12.1(14)EO1' ) flag++;
if ( version == '12.1(15)' ) flag++;
if ( version == '12.1(16)' ) flag++;
if ( version == '12.1(17)' ) flag++;
if ( version == '12.1(17a)' ) flag++;
if ( version == '12.1(18)' ) flag++;
if ( version == '12.1(19)' ) flag++;
if ( version == '12.1(19)E' ) flag++;
if ( version == '12.1(19)E1' ) flag++;
if ( version == '12.1(19)E2' ) flag++;
if ( version == '12.1(19)E3' ) flag++;
if ( version == '12.1(19)E4' ) flag++;
if ( version == '12.1(19)E6' ) flag++;
if ( version == '12.1(19)E7' ) flag++;
if ( version == '12.1(19)EA1' ) flag++;
if ( version == '12.1(19)EA1a' ) flag++;
if ( version == '12.1(19)EA1b' ) flag++;
if ( version == '12.1(19)EA1c' ) flag++;
if ( version == '12.1(19)EA1d' ) flag++;
if ( version == '12.1(19)EB' ) flag++;
if ( version == '12.1(19)EC' ) flag++;
if ( version == '12.1(19)EC1' ) flag++;
if ( version == '12.1(19)EO' ) flag++;
if ( version == '12.1(19)EO1' ) flag++;
if ( version == '12.1(19)EO2' ) flag++;
if ( version == '12.1(19)EO3' ) flag++;
if ( version == '12.1(19)EO4' ) flag++;
if ( version == '12.1(19)EO5' ) flag++;
if ( version == '12.1(19)EW' ) flag++;
if ( version == '12.1(19)EW1' ) flag++;
if ( version == '12.1(19)EW2' ) flag++;
if ( version == '12.1(19)EW3' ) flag++;
if ( version == '12.1(1a)' ) flag++;
if ( version == '12.1(1a)T1' ) flag++;
if ( version == '12.1(1b)' ) flag++;
if ( version == '12.1(1c)' ) flag++;
if ( version == '12.1(2)' ) flag++;
if ( version == '12.1(2)DA' ) flag++;
if ( version == '12.1(2)E' ) flag++;
if ( version == '12.1(2)E1' ) flag++;
if ( version == '12.1(2)E2' ) flag++;
if ( version == '12.1(2)EC' ) flag++;
if ( version == '12.1(2)EC1' ) flag++;
if ( version == '12.1(2)GB' ) flag++;
if ( version == '12.1(2)T' ) flag++;
if ( version == '12.1(2)XF' ) flag++;
if ( version == '12.1(2)XF1' ) flag++;
if ( version == '12.1(2)XF2' ) flag++;
if ( version == '12.1(2)XF3' ) flag++;
if ( version == '12.1(2)XF4' ) flag++;
if ( version == '12.1(2)XF5' ) flag++;
if ( version == '12.1(2)XT2' ) flag++;
if ( version == '12.1(20)' ) flag++;
if ( version == '12.1(20)E' ) flag++;
if ( version == '12.1(20)E1' ) flag++;
if ( version == '12.1(20)E2' ) flag++;
if ( version == '12.1(20)E3' ) flag++;
if ( version == '12.1(20)E4' ) flag++;
if ( version == '12.1(20)E5' ) flag++;
if ( version == '12.1(20)E6' ) flag++;
if ( version == '12.1(20)EA1' ) flag++;
if ( version == '12.1(20)EA1a' ) flag++;
if ( version == '12.1(20)EA2' ) flag++;
if ( version == '12.1(20)EB' ) flag++;
if ( version == '12.1(20)EC' ) flag++;
if ( version == '12.1(20)EC1' ) flag++;
if ( version == '12.1(20)EC2' ) flag++;
if ( version == '12.1(20)EC3' ) flag++;
if ( version == '12.1(20)EO' ) flag++;
if ( version == '12.1(20)EO1' ) flag++;
if ( version == '12.1(20)EO2' ) flag++;
if ( version == '12.1(20)EO3' ) flag++;
if ( version == '12.1(20)EU' ) flag++;
if ( version == '12.1(20)EU1' ) flag++;
if ( version == '12.1(20)EW' ) flag++;
if ( version == '12.1(20)EW1' ) flag++;
if ( version == '12.1(20)EW2' ) flag++;
if ( version == '12.1(20)EW3' ) flag++;
if ( version == '12.1(20)EW4' ) flag++;
if ( version == '12.1(20a)' ) flag++;
if ( version == '12.1(21)' ) flag++;
if ( version == '12.1(22)' ) flag++;
if ( version == '12.1(22)AY1' ) flag++;
if ( version == '12.1(22)E' ) flag++;
if ( version == '12.1(22)E1' ) flag++;
if ( version == '12.1(22)E2' ) flag++;
if ( version == '12.1(22)E3' ) flag++;
if ( version == '12.1(22)E4' ) flag++;
if ( version == '12.1(22)E5' ) flag++;
if ( version == '12.1(22)E6' ) flag++;
if ( version == '12.1(22)EA1' ) flag++;
if ( version == '12.1(22)EA1a' ) flag++;
if ( version == '12.1(22)EA1b' ) flag++;
if ( version == '12.1(22)EA2' ) flag++;
if ( version == '12.1(22)EA3' ) flag++;
if ( version == '12.1(22)EA4' ) flag++;
if ( version == '12.1(22)EA4a' ) flag++;
if ( version == '12.1(22)EA5' ) flag++;
if ( version == '12.1(22)EA5a' ) flag++;
if ( version == '12.1(22)EA6' ) flag++;
if ( version == '12.1(22)EA6a' ) flag++;
if ( version == '12.1(22)EA7' ) flag++;
if ( version == '12.1(22)EA8' ) flag++;
if ( version == '12.1(22)EA8a' ) flag++;
if ( version == '12.1(22)EA9' ) flag++;
if ( version == '12.1(22)EB' ) flag++;
if ( version == '12.1(22)EC' ) flag++;
if ( version == '12.1(22)EC1' ) flag++;
if ( version == '12.1(22a)' ) flag++;
if ( version == '12.1(22b)' ) flag++;
if ( version == '12.1(22c)' ) flag++;
if ( version == '12.1(23)E' ) flag++;
if ( version == '12.1(23)E1' ) flag++;
if ( version == '12.1(23)E2' ) flag++;
if ( version == '12.1(23)E3' ) flag++;
if ( version == '12.1(23)E4' ) flag++;
if ( version == '12.1(23)EB' ) flag++;
if ( version == '12.1(24)' ) flag++;
if ( version == '12.1(25)' ) flag++;
if ( version == '12.1(26)' ) flag++;
if ( version == '12.1(26)E' ) flag++;
if ( version == '12.1(26)E1' ) flag++;
if ( version == '12.1(26)E2' ) flag++;
if ( version == '12.1(26)E3' ) flag++;
if ( version == '12.1(26)E4' ) flag++;
if ( version == '12.1(26)E5' ) flag++;
if ( version == '12.1(26)E6' ) flag++;
if ( version == '12.1(26)E7' ) flag++;
if ( version == '12.1(26)EB' ) flag++;
if ( version == '12.1(26)EB1' ) flag++;
if ( version == '12.1(27)' ) flag++;
if ( version == '12.1(27a)' ) flag++;
if ( version == '12.1(27b)' ) flag++;
if ( version == '12.1(27b)E' ) flag++;
if ( version == '12.1(2a)' ) flag++;
if ( version == '12.1(2a)AA' ) flag++;
if ( version == '12.1(2a)T1' ) flag++;
if ( version == '12.1(2a)T2' ) flag++;
if ( version == '12.1(2a)XH' ) flag++;
if ( version == '12.1(2a)XH1' ) flag++;
if ( version == '12.1(2a)XH2' ) flag++;
if ( version == '12.1(2a)XH3' ) flag++;
if ( version == '12.1(2b)' ) flag++;
if ( version == '12.1(3)' ) flag++;
if ( version == '12.1(3)AA' ) flag++;
if ( version == '12.1(3)DA' ) flag++;
if ( version == '12.1(3)DB' ) flag++;
if ( version == '12.1(3)DB1' ) flag++;
if ( version == '12.1(3)DC' ) flag++;
if ( version == '12.1(3)DC1' ) flag++;
if ( version == '12.1(3)DC2' ) flag++;
if ( version == '12.1(3)T' ) flag++;
if ( version == '12.1(3)XG' ) flag++;
if ( version == '12.1(3)XG1' ) flag++;
if ( version == '12.1(3)XG2' ) flag++;
if ( version == '12.1(3)XG3' ) flag++;
if ( version == '12.1(3)XG4' ) flag++;
if ( version == '12.1(3)XG5' ) flag++;
if ( version == '12.1(3)XG6' ) flag++;
if ( version == '12.1(3)XI' ) flag++;
if ( version == '12.1(3)XJ' ) flag++;
if ( version == '12.1(3)XL' ) flag++;
if ( version == '12.1(3)XP' ) flag++;
if ( version == '12.1(3)XP1' ) flag++;
if ( version == '12.1(3)XP2' ) flag++;
if ( version == '12.1(3)XP3' ) flag++;
if ( version == '12.1(3)XP4' ) flag++;
if ( version == '12.1(3)XQ' ) flag++;
if ( version == '12.1(3)XQ1' ) flag++;
if ( version == '12.1(3)XQ2' ) flag++;
if ( version == '12.1(3)XQ3' ) flag++;
if ( version == '12.1(3)XS' ) flag++;
if ( version == '12.1(3)XT' ) flag++;
if ( version == '12.1(3)XT1' ) flag++;
if ( version == '12.1(3)XT2' ) flag++;
if ( version == '12.1(3)XW' ) flag++;
if ( version == '12.1(3)XW1' ) flag++;
if ( version == '12.1(3)XW2' ) flag++;
if ( version == '12.1(3a)E' ) flag++;
if ( version == '12.1(3a)E1' ) flag++;
if ( version == '12.1(3a)E3' ) flag++;
if ( version == '12.1(3a)E4' ) flag++;
if ( version == '12.1(3a)E5' ) flag++;
if ( version == '12.1(3a)E6' ) flag++;
if ( version == '12.1(3a)E7' ) flag++;
if ( version == '12.1(3a)E8' ) flag++;
if ( version == '12.1(3a)EC' ) flag++;
if ( version == '12.1(3a)EC1' ) flag++;
if ( version == '12.1(3a)T1' ) flag++;
if ( version == '12.1(3a)T2' ) flag++;
if ( version == '12.1(3a)T3' ) flag++;
if ( version == '12.1(3a)T4' ) flag++;
if ( version == '12.1(3a)T5' ) flag++;
if ( version == '12.1(3a)T6' ) flag++;
if ( version == '12.1(3a)T7' ) flag++;
if ( version == '12.1(3a)T8' ) flag++;
if ( version == '12.1(3a)XI1' ) flag++;
if ( version == '12.1(3a)XI2' ) flag++;
if ( version == '12.1(3a)XI3' ) flag++;
if ( version == '12.1(3a)XI4' ) flag++;
if ( version == '12.1(3a)XI5' ) flag++;
if ( version == '12.1(3a)XI6' ) flag++;
if ( version == '12.1(3a)XI7' ) flag++;
if ( version == '12.1(3a)XI8' ) flag++;
if ( version == '12.1(3a)XI9' ) flag++;
if ( version == '12.1(3a)XL1' ) flag++;
if ( version == '12.1(3a)XL2' ) flag++;
if ( version == '12.1(3a)XL3' ) flag++;
if ( version == '12.1(3b)' ) flag++;
if ( version == '12.1(4)AA' ) flag++;
if ( version == '12.1(4)CX' ) flag++;
if ( version == '12.1(4)DA' ) flag++;
if ( version == '12.1(4)DB1' ) flag++;
if ( version == '12.1(4)DC2' ) flag++;
if ( version == '12.1(4)DC3' ) flag++;
if ( version == '12.1(4)E' ) flag++;
if ( version == '12.1(4)E1' ) flag++;
if ( version == '12.1(4)E2' ) flag++;
if ( version == '12.1(4)E3' ) flag++;
if ( version == '12.1(4)EC' ) flag++;
if ( version == '12.1(4)XY1' ) flag++;
if ( version == '12.1(4)XY3' ) flag++;
if ( version == '12.1(4)XY4' ) flag++;
if ( version == '12.1(4)XY5' ) flag++;
if ( version == '12.1(4)XY6' ) flag++;
if ( version == '12.1(4)XY7' ) flag++;
if ( version == '12.1(4)XY8' ) flag++;
if ( version == '12.1(4)XZ' ) flag++;
if ( version == '12.1(4)XZ1' ) flag++;
if ( version == '12.1(4)XZ2' ) flag++;
if ( version == '12.1(4)XZ3' ) flag++;
if ( version == '12.1(4)XZ4' ) flag++;
if ( version == '12.1(4)XZ5' ) flag++;
if ( version == '12.1(4)XZ6' ) flag++;
if ( version == '12.1(4)XZ7' ) flag++;
if ( version == '12.1(4a)' ) flag++;
if ( version == '12.1(4b)' ) flag++;
if ( version == '12.1(4c)' ) flag++;
if ( version == '12.1(5)' ) flag++;
if ( version == '12.1(5)AA' ) flag++;
if ( version == '12.1(5)DA' ) flag++;
if ( version == '12.1(5)DA1' ) flag++;
if ( version == '12.1(5)DB' ) flag++;
if ( version == '12.1(5)DB1' ) flag++;
if ( version == '12.1(5)DB2' ) flag++;
if ( version == '12.1(5)DC' ) flag++;
if ( version == '12.1(5)DC1' ) flag++;
if ( version == '12.1(5)DC2' ) flag++;
if ( version == '12.1(5)DC3' ) flag++;
if ( version == '12.1(5)EC' ) flag++;
if ( version == '12.1(5)EC1' ) flag++;
if ( version == '12.1(5)EY' ) flag++;
if ( version == '12.1(5)EY1' ) flag++;
if ( version == '12.1(5)EY2' ) flag++;
if ( version == '12.1(5)T' ) flag++;
if ( version == '12.1(5)T1' ) flag++;
if ( version == '12.1(5)T10' ) flag++;
if ( version == '12.1(5)T11' ) flag++;
if ( version == '12.1(5)T12' ) flag++;
if ( version == '12.1(5)T14' ) flag++;
if ( version == '12.1(5)T15' ) flag++;
if ( version == '12.1(5)T17' ) flag++;
if ( version == '12.1(5)T18' ) flag++;
if ( version == '12.1(5)T19' ) flag++;
if ( version == '12.1(5)T2' ) flag++;
if ( version == '12.1(5)T20' ) flag++;
if ( version == '12.1(5)T3' ) flag++;
if ( version == '12.1(5)T4' ) flag++;
if ( version == '12.1(5)T5' ) flag++;
if ( version == '12.1(5)T6' ) flag++;
if ( version == '12.1(5)T7' ) flag++;
if ( version == '12.1(5)T8' ) flag++;
if ( version == '12.1(5)T8a' ) flag++;
if ( version == '12.1(5)T8b' ) flag++;
if ( version == '12.1(5)T9' ) flag++;
if ( version == '12.1(5)XM' ) flag++;
if ( version == '12.1(5)XM1' ) flag++;
if ( version == '12.1(5)XM2' ) flag++;
if ( version == '12.1(5)XM3' ) flag++;
if ( version == '12.1(5)XM4' ) flag++;
if ( version == '12.1(5)XM5' ) flag++;
if ( version == '12.1(5)XM6' ) flag++;
if ( version == '12.1(5)XM7' ) flag++;
if ( version == '12.1(5)XM8' ) flag++;
if ( version == '12.1(5)XR' ) flag++;
if ( version == '12.1(5)XR1' ) flag++;
if ( version == '12.1(5)XR2' ) flag++;
if ( version == '12.1(5)XS' ) flag++;
if ( version == '12.1(5)XS1' ) flag++;
if ( version == '12.1(5)XS2' ) flag++;
if ( version == '12.1(5)XS3' ) flag++;
if ( version == '12.1(5)XS4' ) flag++;
if ( version == '12.1(5)XS5' ) flag++;
if ( version == '12.1(5)XU' ) flag++;
if ( version == '12.1(5)XU1' ) flag++;
if ( version == '12.1(5)XV' ) flag++;
if ( version == '12.1(5)XV1' ) flag++;
if ( version == '12.1(5)XV2' ) flag++;
if ( version == '12.1(5)XV4' ) flag++;
if ( version == '12.1(5)XX' ) flag++;
if ( version == '12.1(5)XX1' ) flag++;
if ( version == '12.1(5)XX2' ) flag++;
if ( version == '12.1(5)XX3' ) flag++;
if ( version == '12.1(5)YA' ) flag++;
if ( version == '12.1(5)YA1' ) flag++;
if ( version == '12.1(5)YA2' ) flag++;
if ( version == '12.1(5)YB' ) flag++;
if ( version == '12.1(5)YB1' ) flag++;
if ( version == '12.1(5)YB3' ) flag++;
if ( version == '12.1(5)YB4' ) flag++;
if ( version == '12.1(5)YB5' ) flag++;
if ( version == '12.1(5)YC' ) flag++;
if ( version == '12.1(5)YC1' ) flag++;
if ( version == '12.1(5)YC2' ) flag++;
if ( version == '12.1(5)YC3' ) flag++;
if ( version == '12.1(5)YD' ) flag++;
if ( version == '12.1(5)YD1' ) flag++;
if ( version == '12.1(5)YD2' ) flag++;
if ( version == '12.1(5)YD3' ) flag++;
if ( version == '12.1(5)YD4' ) flag++;
if ( version == '12.1(5)YD5' ) flag++;
if ( version == '12.1(5)YD6' ) flag++;
if ( version == '12.1(5)YE1' ) flag++;
if ( version == '12.1(5)YE2' ) flag++;
if ( version == '12.1(5)YE3' ) flag++;
if ( version == '12.1(5)YE4' ) flag++;
if ( version == '12.1(5)YE5' ) flag++;
if ( version == '12.1(5)YF' ) flag++;
if ( version == '12.1(5)YF1' ) flag++;
if ( version == '12.1(5)YF2' ) flag++;
if ( version == '12.1(5)YF3' ) flag++;
if ( version == '12.1(5)YF4' ) flag++;
if ( version == '12.1(5)YH' ) flag++;
if ( version == '12.1(5)YH1' ) flag++;
if ( version == '12.1(5)YH2' ) flag++;
if ( version == '12.1(5)YH3' ) flag++;
if ( version == '12.1(5)YH4' ) flag++;
if ( version == '12.1(5)YI' ) flag++;
if ( version == '12.1(5)YI1' ) flag++;
if ( version == '12.1(5)YI2' ) flag++;
if ( version == '12.1(5a)' ) flag++;
if ( version == '12.1(5a)E' ) flag++;
if ( version == '12.1(5a)E1' ) flag++;
if ( version == '12.1(5a)E2' ) flag++;
if ( version == '12.1(5a)E3' ) flag++;
if ( version == '12.1(5a)E4' ) flag++;
if ( version == '12.1(5b)' ) flag++;
if ( version == '12.1(5b)E7' ) flag++;
if ( version == '12.1(5c)' ) flag++;
if ( version == '12.1(5c)E10' ) flag++;
if ( version == '12.1(5c)E12' ) flag++;
if ( version == '12.1(5c)E8' ) flag++;
if ( version == '12.1(5c)E9' ) flag++;
if ( version == '12.1(5c)EX3' ) flag++;
if ( version == '12.1(5d)' ) flag++;
if ( version == '12.1(5e)' ) flag++;
if ( version == '12.1(6)' ) flag++;
if ( version == '12.1(6)AA' ) flag++;
if ( version == '12.1(6)DA' ) flag++;
if ( version == '12.1(6)DA1' ) flag++;
if ( version == '12.1(6)E' ) flag++;
if ( version == '12.1(6)E1' ) flag++;
if ( version == '12.1(6)E13' ) flag++;
if ( version == '12.1(6)E2' ) flag++;
if ( version == '12.1(6)E8' ) flag++;
if ( version == '12.1(6)EA1' ) flag++;
if ( version == '12.1(6)EC' ) flag++;
if ( version == '12.1(6)EC1' ) flag++;
if ( version == '12.1(6)EY' ) flag++;
if ( version == '12.1(6)EY1' ) flag++;
if ( version == '12.1(6)EZ' ) flag++;
if ( version == '12.1(6)EZ1' ) flag++;
if ( version == '12.1(6)EZ2' ) flag++;
if ( version == '12.1(6)EZ3' ) flag++;
if ( version == '12.1(6)EZ4' ) flag++;
if ( version == '12.1(6)EZ5' ) flag++;
if ( version == '12.1(6)EZ6' ) flag++;
if ( version == '12.1(6a)' ) flag++;
if ( version == '12.1(6b)' ) flag++;
if ( version == '12.1(7)' ) flag++;
if ( version == '12.1(7)AA' ) flag++;
if ( version == '12.1(7)DA' ) flag++;
if ( version == '12.1(7)DA1' ) flag++;
if ( version == '12.1(7)DA2' ) flag++;
if ( version == '12.1(7)DA3' ) flag++;
if ( version == '12.1(7)E' ) flag++;
if ( version == '12.1(7)E0a' ) flag++;
if ( version == '12.1(7)EC' ) flag++;
if ( version == '12.1(7a)' ) flag++;
if ( version == '12.1(7a)E1' ) flag++;
if ( version == '12.1(7a)E1a' ) flag++;
if ( version == '12.1(7a)E2' ) flag++;
if ( version == '12.1(7a)E3' ) flag++;
if ( version == '12.1(7a)E4' ) flag++;
if ( version == '12.1(7a)E5' ) flag++;
if ( version == '12.1(7a)E6' ) flag++;
if ( version == '12.1(7a)EY' ) flag++;
if ( version == '12.1(7a)EY1' ) flag++;
if ( version == '12.1(7a)EY2' ) flag++;
if ( version == '12.1(7a)EY3' ) flag++;
if ( version == '12.1(7b)' ) flag++;
if ( version == '12.1(7c)' ) flag++;
if ( version == '12.1(8)' ) flag++;
if ( version == '12.1(8)AA' ) flag++;
if ( version == '12.1(8)AA1' ) flag++;
if ( version == '12.1(8)EA1c' ) flag++;
if ( version == '12.1(8)EC' ) flag++;
if ( version == '12.1(8)EC1' ) flag++;
if ( version == '12.1(8a)' ) flag++;
if ( version == '12.1(8a)E' ) flag++;
if ( version == '12.1(8a)E1' ) flag++;
if ( version == '12.1(8a)E2' ) flag++;
if ( version == '12.1(8a)E4' ) flag++;
if ( version == '12.1(8a)E5' ) flag++;
if ( version == '12.1(8a)EW' ) flag++;
if ( version == '12.1(8a)EW1' ) flag++;
if ( version == '12.1(8a)EX' ) flag++;
if ( version == '12.1(8a)EX1' ) flag++;
if ( version == '12.1(8b)' ) flag++;
if ( version == '12.1(8b)E10' ) flag++;
if ( version == '12.1(8b)E11' ) flag++;
if ( version == '12.1(8b)E12' ) flag++;
if ( version == '12.1(8b)E14' ) flag++;
if ( version == '12.1(8b)E15' ) flag++;
if ( version == '12.1(8b)E18' ) flag++;
if ( version == '12.1(8b)E19' ) flag++;
if ( version == '12.1(8b)E20' ) flag++;
if ( version == '12.1(8b)E6' ) flag++;
if ( version == '12.1(8b)E7' ) flag++;
if ( version == '12.1(8b)E8' ) flag++;
if ( version == '12.1(8b)E9' ) flag++;
if ( version == '12.1(8b)EX2' ) flag++;
if ( version == '12.1(8b)EX3' ) flag++;
if ( version == '12.1(8b)EX5' ) flag++;
if ( version == '12.1(9)' ) flag++;
if ( version == '12.1(9)E' ) flag++;
if ( version == '12.1(9)E2' ) flag++;
if ( version == '12.1(9)E3' ) flag++;
if ( version == '12.1(9)EA1' ) flag++;
if ( version == '12.1(9)EC1' ) flag++;
if ( version == '12.1(9)EX' ) flag++;
if ( version == '12.1(9)EX1' ) flag++;
if ( version == '12.1(9)EX2' ) flag++;
if ( version == '12.1(9)EX3' ) flag++;
if ( version == '12.1(9a)' ) flag++;
if ( version == '12.2(1)' ) flag++;
if ( version == '12.2(1)DX' ) flag++;
if ( version == '12.2(1)DX1' ) flag++;
if ( version == '12.2(1)M0' ) flag++;
if ( version == '12.2(1)MB1' ) flag++;
if ( version == '12.2(1)XD' ) flag++;
if ( version == '12.2(1)XD1' ) flag++;
if ( version == '12.2(1)XD2' ) flag++;
if ( version == '12.2(1)XD3' ) flag++;
if ( version == '12.2(1)XD4' ) flag++;
if ( version == '12.2(1)XE' ) flag++;
if ( version == '12.2(1)XE1' ) flag++;
if ( version == '12.2(1)XE2' ) flag++;
if ( version == '12.2(1)XF' ) flag++;
if ( version == '12.2(1)XF1' ) flag++;
if ( version == '12.2(1)XS' ) flag++;
if ( version == '12.2(1)XS1' ) flag++;
if ( version == '12.2(1)XS1a' ) flag++;
if ( version == '12.2(1)XS2' ) flag++;
if ( version == '12.2(10)' ) flag++;
if ( version == '12.2(10)DA' ) flag++;
if ( version == '12.2(10)DA1' ) flag++;
if ( version == '12.2(10)DA2' ) flag++;
if ( version == '12.2(10)DA3' ) flag++;
if ( version == '12.2(10)DA5' ) flag++;
if ( version == '12.2(10a)' ) flag++;
if ( version == '12.2(10b)' ) flag++;
if ( version == '12.2(10d)' ) flag++;
if ( version == '12.2(10g)' ) flag++;
if ( version == '12.2(11)BC1' ) flag++;
if ( version == '12.2(11)BC1a' ) flag++;
if ( version == '12.2(11)BC1b' ) flag++;
if ( version == '12.2(11)BC2' ) flag++;
if ( version == '12.2(11)BC2a' ) flag++;
if ( version == '12.2(11)BC3' ) flag++;
if ( version == '12.2(11)BC3a' ) flag++;
if ( version == '12.2(11)BC3b' ) flag++;
if ( version == '12.2(11)BC3c' ) flag++;
if ( version == '12.2(11)BC3d' ) flag++;
if ( version == '12.2(11)CX' ) flag++;
if ( version == '12.2(11)CX1' ) flag++;
if ( version == '12.2(11)CY' ) flag++;
if ( version == '12.2(11)JA' ) flag++;
if ( version == '12.2(11)JA1' ) flag++;
if ( version == '12.2(11)JA2' ) flag++;
if ( version == '12.2(11)JA3' ) flag++;
if ( version == '12.2(11)T' ) flag++;
if ( version == '12.2(11)T1' ) flag++;
if ( version == '12.2(11)T10' ) flag++;
if ( version == '12.2(11)T11' ) flag++;
if ( version == '12.2(11)T2' ) flag++;
if ( version == '12.2(11)T3' ) flag++;
if ( version == '12.2(11)T4' ) flag++;
if ( version == '12.2(11)T5' ) flag++;
if ( version == '12.2(11)T6' ) flag++;
if ( version == '12.2(11)T8' ) flag++;
if ( version == '12.2(11)T9' ) flag++;
if ( version == '12.2(11)YP3' ) flag++;
if ( version == '12.2(11)YQ' ) flag++;
if ( version == '12.2(11)YR' ) flag++;
if ( version == '12.2(11)YT' ) flag++;
if ( version == '12.2(11)YT1' ) flag++;
if ( version == '12.2(11)YT2' ) flag++;
if ( version == '12.2(11)YU' ) flag++;
if ( version == '12.2(11)YV' ) flag++;
if ( version == '12.2(11)YV1' ) flag++;
if ( version == '12.2(11)YZ' ) flag++;
if ( version == '12.2(11)YZ1' ) flag++;
if ( version == '12.2(11)YZ2' ) flag++;
if ( version == '12.2(11)ZC' ) flag++;
if ( version == '12.2(12)' ) flag++;
if ( version == '12.2(12)DA' ) flag++;
if ( version == '12.2(12)DA1' ) flag++;
if ( version == '12.2(12)DA10' ) flag++;
if ( version == '12.2(12)DA2' ) flag++;
if ( version == '12.2(12)DA3' ) flag++;
if ( version == '12.2(12)DA4' ) flag++;
if ( version == '12.2(12)DA5' ) flag++;
if ( version == '12.2(12)DA6' ) flag++;
if ( version == '12.2(12)DA7' ) flag++;
if ( version == '12.2(12)DA8' ) flag++;
if ( version == '12.2(12)DA9' ) flag++;
if ( version == '12.2(12a)' ) flag++;
if ( version == '12.2(12b)' ) flag++;
if ( version == '12.2(12b)M1' ) flag++;
if ( version == '12.2(12c)' ) flag++;
if ( version == '12.2(12e)' ) flag++;
if ( version == '12.2(12f)' ) flag++;
if ( version == '12.2(12g)' ) flag++;
if ( version == '12.2(12h)' ) flag++;
if ( version == '12.2(12h)M1' ) flag++;
if ( version == '12.2(12i)' ) flag++;
if ( version == '12.2(12j)' ) flag++;
if ( version == '12.2(12k)' ) flag++;
if ( version == '12.2(12l)' ) flag++;
if ( version == '12.2(12m)' ) flag++;
if ( version == '12.2(13)' ) flag++;
if ( version == '12.2(13)JA' ) flag++;
if ( version == '12.2(13)JA1' ) flag++;
if ( version == '12.2(13)JA2' ) flag++;
if ( version == '12.2(13)JA3' ) flag++;
if ( version == '12.2(13)JA4' ) flag++;
if ( version == '12.2(13)T' ) flag++;
if ( version == '12.2(13)T1' ) flag++;
if ( version == '12.2(13)T10' ) flag++;
if ( version == '12.2(13)T11' ) flag++;
if ( version == '12.2(13)T12' ) flag++;
if ( version == '12.2(13)T13' ) flag++;
if ( version == '12.2(13)T14' ) flag++;
if ( version == '12.2(13)T16' ) flag++;
if ( version == '12.2(13)T1a' ) flag++;
if ( version == '12.2(13)T2' ) flag++;
if ( version == '12.2(13)T3' ) flag++;
if ( version == '12.2(13)T4' ) flag++;
if ( version == '12.2(13)T5' ) flag++;
if ( version == '12.2(13)T8' ) flag++;
if ( version == '12.2(13)T9' ) flag++;
if ( version == '12.2(13)ZC' ) flag++;
if ( version == '12.2(13)ZD' ) flag++;
if ( version == '12.2(13)ZD1' ) flag++;
if ( version == '12.2(13)ZD2' ) flag++;
if ( version == '12.2(13)ZD3' ) flag++;
if ( version == '12.2(13)ZD4' ) flag++;
if ( version == '12.2(13)ZE' ) flag++;
if ( version == '12.2(13)ZF' ) flag++;
if ( version == '12.2(13)ZF1' ) flag++;
if ( version == '12.2(13)ZF2' ) flag++;
if ( version == '12.2(13)ZG' ) flag++;
if ( version == '12.2(13)ZH' ) flag++;
if ( version == '12.2(13)ZH1' ) flag++;
if ( version == '12.2(13)ZH2' ) flag++;
if ( version == '12.2(13)ZH3' ) flag++;
if ( version == '12.2(13)ZH4' ) flag++;
if ( version == '12.2(13)ZH5' ) flag++;
if ( version == '12.2(13)ZH6' ) flag++;
if ( version == '12.2(13)ZH7' ) flag++;
if ( version == '12.2(13)ZH8' ) flag++;
if ( version == '12.2(13)ZP' ) flag++;
if ( version == '12.2(13)ZP1' ) flag++;
if ( version == '12.2(13)ZP2' ) flag++;
if ( version == '12.2(13)ZP3' ) flag++;
if ( version == '12.2(13)ZP4' ) flag++;
if ( version == '12.2(13a)' ) flag++;
if ( version == '12.2(13b)' ) flag++;
if ( version == '12.2(13c)' ) flag++;
if ( version == '12.2(13e)' ) flag++;
if ( version == '12.2(14)S' ) flag++;
if ( version == '12.2(14)S1' ) flag++;
if ( version == '12.2(14)S10' ) flag++;
if ( version == '12.2(14)S11' ) flag++;
if ( version == '12.2(14)S12' ) flag++;
if ( version == '12.2(14)S13' ) flag++;
if ( version == '12.2(14)S14' ) flag++;
if ( version == '12.2(14)S15' ) flag++;
if ( version == '12.2(14)S16' ) flag++;
if ( version == '12.2(14)S17' ) flag++;
if ( version == '12.2(14)S2' ) flag++;
if ( version == '12.2(14)S3' ) flag++;
if ( version == '12.2(14)S5' ) flag++;
if ( version == '12.2(14)S7' ) flag++;
if ( version == '12.2(14)S8' ) flag++;
if ( version == '12.2(14)S9' ) flag++;
if ( version == '12.2(14)SX' ) flag++;
if ( version == '12.2(14)SX1' ) flag++;
if ( version == '12.2(14)SX2' ) flag++;
if ( version == '12.2(14)SZ' ) flag++;
if ( version == '12.2(14)SZ1' ) flag++;
if ( version == '12.2(14)SZ2' ) flag++;
if ( version == '12.2(14)SZ3' ) flag++;
if ( version == '12.2(14)SZ4' ) flag++;
if ( version == '12.2(14)SZ5' ) flag++;
if ( version == '12.2(14)SZ6' ) flag++;
if ( version == '12.2(14)ZA' ) flag++;
if ( version == '12.2(14)ZA1' ) flag++;
if ( version == '12.2(14)ZA2' ) flag++;
if ( version == '12.2(14)ZA3' ) flag++;
if ( version == '12.2(14)ZA4' ) flag++;
if ( version == '12.2(14)ZA5' ) flag++;
if ( version == '12.2(14)ZA6' ) flag++;
if ( version == '12.2(14)ZA7' ) flag++;
if ( version == '12.2(15)B' ) flag++;
if ( version == '12.2(15)BC1' ) flag++;
if ( version == '12.2(15)BC1a' ) flag++;
if ( version == '12.2(15)BC1b' ) flag++;
if ( version == '12.2(15)BC1c' ) flag++;
if ( version == '12.2(15)BC1d' ) flag++;
if ( version == '12.2(15)BC1e' ) flag++;
if ( version == '12.2(15)BC1f' ) flag++;
if ( version == '12.2(15)BC1g' ) flag++;
if ( version == '12.2(15)BC2' ) flag++;
if ( version == '12.2(15)BC2a' ) flag++;
if ( version == '12.2(15)BC2b' ) flag++;
if ( version == '12.2(15)BC2c' ) flag++;
if ( version == '12.2(15)BC2d' ) flag++;
if ( version == '12.2(15)BC2e' ) flag++;
if ( version == '12.2(15)BC2f' ) flag++;
if ( version == '12.2(15)BC2g' ) flag++;
if ( version == '12.2(15)BC2h' ) flag++;
if ( version == '12.2(15)BC2i' ) flag++;
if ( version == '12.2(15)BX' ) flag++;
if ( version == '12.2(15)BZ2' ) flag++;
if ( version == '12.2(15)CX' ) flag++;
if ( version == '12.2(15)CX1' ) flag++;
if ( version == '12.2(15)JA' ) flag++;
if ( version == '12.2(15)JK' ) flag++;
if ( version == '12.2(15)JK1' ) flag++;
if ( version == '12.2(15)JK2' ) flag++;
if ( version == '12.2(15)JK3' ) flag++;
if ( version == '12.2(15)JK4' ) flag++;
if ( version == '12.2(15)JK5' ) flag++;
if ( version == '12.2(15)MC1' ) flag++;
if ( version == '12.2(15)MC1a' ) flag++;
if ( version == '12.2(15)MC1b' ) flag++;
if ( version == '12.2(15)MC1c' ) flag++;
if ( version == '12.2(15)MC2' ) flag++;
if ( version == '12.2(15)MC2a' ) flag++;
if ( version == '12.2(15)MC2b' ) flag++;
if ( version == '12.2(15)MC2c' ) flag++;
if ( version == '12.2(15)MC2e' ) flag++;
if ( version == '12.2(15)MC2f' ) flag++;
if ( version == '12.2(15)MC2g' ) flag++;
if ( version == '12.2(15)T' ) flag++;
if ( version == '12.2(15)T1' ) flag++;
if ( version == '12.2(15)T10' ) flag++;
if ( version == '12.2(15)T11' ) flag++;
if ( version == '12.2(15)T12' ) flag++;
if ( version == '12.2(15)T13' ) flag++;
if ( version == '12.2(15)T14' ) flag++;
if ( version == '12.2(15)T15' ) flag++;
if ( version == '12.2(15)T16' ) flag++;
if ( version == '12.2(15)T2' ) flag++;
if ( version == '12.2(15)T4' ) flag++;
if ( version == '12.2(15)T4e' ) flag++;
if ( version == '12.2(15)T5' ) flag++;
if ( version == '12.2(15)T7' ) flag++;
if ( version == '12.2(15)T8' ) flag++;
if ( version == '12.2(15)T9' ) flag++;
if ( version == '12.2(15)XR' ) flag++;
if ( version == '12.2(15)XR1' ) flag++;
if ( version == '12.2(15)XR2' ) flag++;
if ( version == '12.2(15)ZJ' ) flag++;
if ( version == '12.2(15)ZJ1' ) flag++;
if ( version == '12.2(15)ZJ2' ) flag++;
if ( version == '12.2(15)ZJ3' ) flag++;
if ( version == '12.2(15)ZJ5' ) flag++;
if ( version == '12.2(15)ZL' ) flag++;
if ( version == '12.2(15)ZL1' ) flag++;
if ( version == '12.2(16)' ) flag++;
if ( version == '12.2(16)B' ) flag++;
if ( version == '12.2(16)B1' ) flag++;
if ( version == '12.2(16)B2' ) flag++;
if ( version == '12.2(16)BX' ) flag++;
if ( version == '12.2(16)BX1' ) flag++;
if ( version == '12.2(16)BX2' ) flag++;
if ( version == '12.2(16)BX3' ) flag++;
if ( version == '12.2(16a)' ) flag++;
if ( version == '12.2(16b)' ) flag++;
if ( version == '12.2(16c)' ) flag++;
if ( version == '12.2(16f)' ) flag++;
if ( version == '12.2(17)' ) flag++;
if ( version == '12.2(17a)' ) flag++;
if ( version == '12.2(17a)SX' ) flag++;
if ( version == '12.2(17a)SX1' ) flag++;
if ( version == '12.2(17a)SX2' ) flag++;
if ( version == '12.2(17a)SX3' ) flag++;
if ( version == '12.2(17a)SX4' ) flag++;
if ( version == '12.2(17b)' ) flag++;
if ( version == '12.2(17b)SXA' ) flag++;
if ( version == '12.2(17b)SXA2' ) flag++;
if ( version == '12.2(17d)' ) flag++;
if ( version == '12.2(17d)SXB' ) flag++;
if ( version == '12.2(17d)SXB1' ) flag++;
if ( version == '12.2(17d)SXB10' ) flag++;
if ( version == '12.2(17d)SXB11' ) flag++;
if ( version == '12.2(17d)SXB11a' ) flag++;
if ( version == '12.2(17d)SXB2' ) flag++;
if ( version == '12.2(17d)SXB3' ) flag++;
if ( version == '12.2(17d)SXB4' ) flag++;
if ( version == '12.2(17d)SXB5' ) flag++;
if ( version == '12.2(17d)SXB6' ) flag++;
if ( version == '12.2(17d)SXB7' ) flag++;
if ( version == '12.2(17d)SXB8' ) flag++;
if ( version == '12.2(17d)SXB9' ) flag++;
if ( version == '12.2(17e)' ) flag++;
if ( version == '12.2(17f)' ) flag++;
if ( version == '12.2(18)EW' ) flag++;
if ( version == '12.2(18)EW1' ) flag++;
if ( version == '12.2(18)EW2' ) flag++;
if ( version == '12.2(18)EW3' ) flag++;
if ( version == '12.2(18)EW4' ) flag++;
if ( version == '12.2(18)EW5' ) flag++;
if ( version == '12.2(18)EW6' ) flag++;
if ( version == '12.2(18)IXA' ) flag++;
if ( version == '12.2(18)S' ) flag++;
if ( version == '12.2(18)S1' ) flag++;
if ( version == '12.2(18)S10' ) flag++;
if ( version == '12.2(18)S11' ) flag++;
if ( version == '12.2(18)S12' ) flag++;
if ( version == '12.2(18)S2' ) flag++;
if ( version == '12.2(18)S3' ) flag++;
if ( version == '12.2(18)S4' ) flag++;
if ( version == '12.2(18)S5' ) flag++;
if ( version == '12.2(18)S6' ) flag++;
if ( version == '12.2(18)S7' ) flag++;
if ( version == '12.2(18)S8' ) flag++;
if ( version == '12.2(18)S9' ) flag++;
if ( version == '12.2(18)SE' ) flag++;
if ( version == '12.2(18)SE1' ) flag++;
if ( version == '12.2(18)SO1' ) flag++;
if ( version == '12.2(18)SO2' ) flag++;
if ( version == '12.2(18)SO3' ) flag++;
if ( version == '12.2(18)SO4' ) flag++;
if ( version == '12.2(18)SO5' ) flag++;
if ( version == '12.2(18)SO6' ) flag++;
if ( version == '12.2(18)SV' ) flag++;
if ( version == '12.2(18)SV1' ) flag++;
if ( version == '12.2(18)SV2' ) flag++;
if ( version == '12.2(18)SV3' ) flag++;
if ( version == '12.2(18)SW' ) flag++;
if ( version == '12.2(18)SXD' ) flag++;
if ( version == '12.2(18)SXD1' ) flag++;
if ( version == '12.2(18)SXD2' ) flag++;
if ( version == '12.2(18)SXD3' ) flag++;
if ( version == '12.2(18)SXD4' ) flag++;
if ( version == '12.2(18)SXD5' ) flag++;
if ( version == '12.2(18)SXD6' ) flag++;
if ( version == '12.2(18)SXD7' ) flag++;
if ( version == '12.2(18)SXE' ) flag++;
if ( version == '12.2(18)SXE1' ) flag++;
if ( version == '12.2(18)SXE2' ) flag++;
if ( version == '12.2(18)SXE3' ) flag++;
if ( version == '12.2(18)SXE4' ) flag++;
if ( version == '12.2(18)SXE5' ) flag++;
if ( version == '12.2(18)SXE6' ) flag++;
if ( version == '12.2(18)SXF' ) flag++;
if ( version == '12.2(18)SXF1' ) flag++;
if ( version == '12.2(18)SXF2' ) flag++;
if ( version == '12.2(18)SXF3' ) flag++;
if ( version == '12.2(18)SXF4' ) flag++;
if ( version == '12.2(18)SXF5' ) flag++;
if ( version == '12.2(18)ZU' ) flag++;
if ( version == '12.2(19)' ) flag++;
if ( version == '12.2(19)SW' ) flag++;
if ( version == '12.2(19a)' ) flag++;
if ( version == '12.2(19b)' ) flag++;
if ( version == '12.2(19c)' ) flag++;
if ( version == '12.2(1a)' ) flag++;
if ( version == '12.2(1a)XC' ) flag++;
if ( version == '12.2(1a)XC1' ) flag++;
if ( version == '12.2(1a)XC2' ) flag++;
if ( version == '12.2(1a)XC3' ) flag++;
if ( version == '12.2(1b)' ) flag++;
if ( version == '12.2(1b)DA' ) flag++;
if ( version == '12.2(1b)DA1' ) flag++;
if ( version == '12.2(1c)' ) flag++;
if ( version == '12.2(1d)' ) flag++;
if ( version == '12.2(2)B' ) flag++;
if ( version == '12.2(2)B1' ) flag++;
if ( version == '12.2(2)B2' ) flag++;
if ( version == '12.2(2)B3' ) flag++;
if ( version == '12.2(2)B4' ) flag++;
if ( version == '12.2(2)B5' ) flag++;
if ( version == '12.2(2)B6' ) flag++;
if ( version == '12.2(2)B7' ) flag++;
if ( version == '12.2(2)BX' ) flag++;
if ( version == '12.2(2)BX1' ) flag++;
if ( version == '12.2(2)BY' ) flag++;
if ( version == '12.2(2)BY1' ) flag++;
if ( version == '12.2(2)BY2' ) flag++;
if ( version == '12.2(2)BY3' ) flag++;
if ( version == '12.2(2)DD' ) flag++;
if ( version == '12.2(2)DD1' ) flag++;
if ( version == '12.2(2)DD2' ) flag++;
if ( version == '12.2(2)DD3' ) flag++;
if ( version == '12.2(2)DD4' ) flag++;
if ( version == '12.2(2)DX3' ) flag++;
if ( version == '12.2(2)T' ) flag++;
if ( version == '12.2(2)T1' ) flag++;
if ( version == '12.2(2)T2' ) flag++;
if ( version == '12.2(2)T3' ) flag++;
if ( version == '12.2(2)T4' ) flag++;
if ( version == '12.2(2)XA' ) flag++;
if ( version == '12.2(2)XA1' ) flag++;
if ( version == '12.2(2)XA2' ) flag++;
if ( version == '12.2(2)XA3' ) flag++;
if ( version == '12.2(2)XA4' ) flag++;
if ( version == '12.2(2)XA5' ) flag++;
if ( version == '12.2(2)XB1' ) flag++;
if ( version == '12.2(2)XB10' ) flag++;
if ( version == '12.2(2)XB11' ) flag++;
if ( version == '12.2(2)XB12' ) flag++;
if ( version == '12.2(2)XB14' ) flag++;
if ( version == '12.2(2)XB15' ) flag++;
if ( version == '12.2(2)XB2' ) flag++;
if ( version == '12.2(2)XB3' ) flag++;
if ( version == '12.2(2)XB5' ) flag++;
if ( version == '12.2(2)XB6' ) flag++;
if ( version == '12.2(2)XB7' ) flag++;
if ( version == '12.2(2)XB8' ) flag++;
if ( version == '12.2(2)XC' ) flag++;
if ( version == '12.2(2)XC1' ) flag++;
if ( version == '12.2(2)XC2' ) flag++;
if ( version == '12.2(2)XF' ) flag++;
if ( version == '12.2(2)XF1' ) flag++;
if ( version == '12.2(2)XF2' ) flag++;
if ( version == '12.2(2)XG' ) flag++;
if ( version == '12.2(2)XG1' ) flag++;
if ( version == '12.2(2)XH' ) flag++;
if ( version == '12.2(2)XH1' ) flag++;
if ( version == '12.2(2)XH2' ) flag++;
if ( version == '12.2(2)XI' ) flag++;
if ( version == '12.2(2)XI1' ) flag++;
if ( version == '12.2(2)XI2' ) flag++;
if ( version == '12.2(2)XJ' ) flag++;
if ( version == '12.2(2)XK' ) flag++;
if ( version == '12.2(2)XK1' ) flag++;
if ( version == '12.2(2)XK2' ) flag++;
if ( version == '12.2(2)XK3' ) flag++;
if ( version == '12.2(2)XN' ) flag++;
if ( version == '12.2(2)XQ' ) flag++;
if ( version == '12.2(2)XQ1' ) flag++;
if ( version == '12.2(2)XR' ) flag++;
if ( version == '12.2(2)XT' ) flag++;
if ( version == '12.2(2)XT2' ) flag++;
if ( version == '12.2(2)XT3' ) flag++;
if ( version == '12.2(2)XU' ) flag++;
if ( version == '12.2(2)YC' ) flag++;
if ( version == '12.2(2)YC1' ) flag++;
if ( version == '12.2(2)YC2' ) flag++;
if ( version == '12.2(2)YC3' ) flag++;
if ( version == '12.2(2)YC4' ) flag++;
if ( version == '12.2(2)YK' ) flag++;
if ( version == '12.2(2)YK1' ) flag++;
if ( version == '12.2(20)EU' ) flag++;
if ( version == '12.2(20)EU1' ) flag++;
if ( version == '12.2(20)EU2' ) flag++;
if ( version == '12.2(20)EW' ) flag++;
if ( version == '12.2(20)EW1' ) flag++;
if ( version == '12.2(20)EW2' ) flag++;
if ( version == '12.2(20)EW3' ) flag++;
if ( version == '12.2(20)EWA' ) flag++;
if ( version == '12.2(20)EWA1' ) flag++;
if ( version == '12.2(20)EWA2' ) flag++;
if ( version == '12.2(20)EX' ) flag++;
if ( version == '12.2(20)S' ) flag++;
if ( version == '12.2(20)S1' ) flag++;
if ( version == '12.2(20)S10' ) flag++;
if ( version == '12.2(20)S11' ) flag++;
if ( version == '12.2(20)S12' ) flag++;
if ( version == '12.2(20)S2' ) flag++;
if ( version == '12.2(20)S3' ) flag++;
if ( version == '12.2(20)S4' ) flag++;
if ( version == '12.2(20)S5' ) flag++;
if ( version == '12.2(20)S6' ) flag++;
if ( version == '12.2(20)S7' ) flag++;
if ( version == '12.2(20)S8' ) flag++;
if ( version == '12.2(20)S9' ) flag++;
if ( version == '12.2(20)SE' ) flag++;
if ( version == '12.2(20)SE1' ) flag++;
if ( version == '12.2(20)SE3' ) flag++;
if ( version == '12.2(20)SE4' ) flag++;
if ( version == '12.2(20)SW' ) flag++;
if ( version == '12.2(21)' ) flag++;
if ( version == '12.2(21)SW' ) flag++;
if ( version == '12.2(21)SW1' ) flag++;
if ( version == '12.2(21a)' ) flag++;
if ( version == '12.2(21b)' ) flag++;
if ( version == '12.2(22)S' ) flag++;
if ( version == '12.2(22)S1' ) flag++;
if ( version == '12.2(22)S2' ) flag++;
if ( version == '12.2(22)SV' ) flag++;
if ( version == '12.2(22)SV1' ) flag++;
if ( version == '12.2(23)' ) flag++;
if ( version == '12.2(23)SV' ) flag++;
if ( version == '12.2(23)SV1' ) flag++;
if ( version == '12.2(23)SW' ) flag++;
if ( version == '12.2(23)SW1' ) flag++;
if ( version == '12.2(23a)' ) flag++;
if ( version == '12.2(23c)' ) flag++;
if ( version == '12.2(23d)' ) flag++;
if ( version == '12.2(23e)' ) flag++;
if ( version == '12.2(23f)' ) flag++;
if ( version == '12.2(24)' ) flag++;
if ( version == '12.2(24)SV' ) flag++;
if ( version == '12.2(24)SV1' ) flag++;
if ( version == '12.2(24a)' ) flag++;
if ( version == '12.2(24b)' ) flag++;
if ( version == '12.2(25)EW' ) flag++;
if ( version == '12.2(25)EWA' ) flag++;
if ( version == '12.2(25)EWA1' ) flag++;
if ( version == '12.2(25)EWA2' ) flag++;
if ( version == '12.2(25)EWA3' ) flag++;
if ( version == '12.2(25)EWA4' ) flag++;
if ( version == '12.2(25)EWA5' ) flag++;
if ( version == '12.2(25)EWA6' ) flag++;
if ( version == '12.2(25)EX' ) flag++;
if ( version == '12.2(25)EX1' ) flag++;
if ( version == '12.2(25)EY' ) flag++;
if ( version == '12.2(25)EY1' ) flag++;
if ( version == '12.2(25)EY2' ) flag++;
if ( version == '12.2(25)EY3' ) flag++;
if ( version == '12.2(25)EY4' ) flag++;
if ( version == '12.2(25)EZ' ) flag++;
if ( version == '12.2(25)EZ1' ) flag++;
if ( version == '12.2(25)FX' ) flag++;
if ( version == '12.2(25)FY' ) flag++;
if ( version == '12.2(25)FZ' ) flag++;
if ( version == '12.2(25)S' ) flag++;
if ( version == '12.2(25)S1' ) flag++;
if ( version == '12.2(25)S10' ) flag++;
if ( version == '12.2(25)S2' ) flag++;
if ( version == '12.2(25)S3' ) flag++;
if ( version == '12.2(25)S4' ) flag++;
if ( version == '12.2(25)S5' ) flag++;
if ( version == '12.2(25)S6' ) flag++;
if ( version == '12.2(25)S7' ) flag++;
if ( version == '12.2(25)S8' ) flag++;
if ( version == '12.2(25)S9' ) flag++;
if ( version == '12.2(25)SE' ) flag++;
if ( version == '12.2(25)SE2' ) flag++;
if ( version == '12.2(25)SE3' ) flag++;
if ( version == '12.2(25)SEA' ) flag++;
if ( version == '12.2(25)SEB' ) flag++;
if ( version == '12.2(25)SEB1' ) flag++;
if ( version == '12.2(25)SEB2' ) flag++;
if ( version == '12.2(25)SEB3' ) flag++;
if ( version == '12.2(25)SEB4' ) flag++;
if ( version == '12.2(25)SEC' ) flag++;
if ( version == '12.2(25)SEC1' ) flag++;
if ( version == '12.2(25)SEC2' ) flag++;
if ( version == '12.2(25)SED' ) flag++;
if ( version == '12.2(25)SED1' ) flag++;
if ( version == '12.2(25)SEE' ) flag++;
if ( version == '12.2(25)SEE1' ) flag++;
if ( version == '12.2(25)SEE2' ) flag++;
if ( version == '12.2(25)SEF1' ) flag++;
if ( version == '12.2(25)SEG' ) flag++;
if ( version == '12.2(25)SEG1' ) flag++;
if ( version == '12.2(25)SG' ) flag++;
if ( version == '12.2(25)SV' ) flag++;
if ( version == '12.2(25)SV2' ) flag++;
if ( version == '12.2(25)SV3' ) flag++;
if ( version == '12.2(25)SW1' ) flag++;
if ( version == '12.2(25)SW2' ) flag++;
if ( version == '12.2(25)SW3' ) flag++;
if ( version == '12.2(25)SW3a' ) flag++;
if ( version == '12.2(25)SW4' ) flag++;
if ( version == '12.2(25)SW4a' ) flag++;
if ( version == '12.2(25)SW5' ) flag++;
if ( version == '12.2(26)' ) flag++;
if ( version == '12.2(26)SV' ) flag++;
if ( version == '12.2(26)SV1' ) flag++;
if ( version == '12.2(26a)' ) flag++;
if ( version == '12.2(26b)' ) flag++;
if ( version == '12.2(27)' ) flag++;
if ( version == '12.2(27)SBC' ) flag++;
if ( version == '12.2(27)SBC1' ) flag++;
if ( version == '12.2(27)SBC2' ) flag++;
if ( version == '12.2(27)SBC3' ) flag++;
if ( version == '12.2(27)SBC4' ) flag++;
if ( version == '12.2(27)SBC5' ) flag++;
if ( version == '12.2(27)SV' ) flag++;
if ( version == '12.2(27)SV1' ) flag++;
if ( version == '12.2(27)SV2' ) flag++;
if ( version == '12.2(27)SV3' ) flag++;
if ( version == '12.2(27)SV4' ) flag++;
if ( version == '12.2(27a)' ) flag++;
if ( version == '12.2(27b)' ) flag++;
if ( version == '12.2(28)' ) flag++;
if ( version == '12.2(28)SB' ) flag++;
if ( version == '12.2(28)SB1' ) flag++;
if ( version == '12.2(28)SB2' ) flag++;
if ( version == '12.2(28)SB3' ) flag++;
if ( version == '12.2(28)SV' ) flag++;
if ( version == '12.2(28)VZ' ) flag++;
if ( version == '12.2(28)ZX' ) flag++;
if ( version == '12.2(28a)' ) flag++;
if ( version == '12.2(28b)' ) flag++;
if ( version == '12.2(28b)ZV1' ) flag++;
if ( version == '12.2(28c)' ) flag++;
if ( version == '12.2(29)' ) flag++;
if ( version == '12.2(29)SM' ) flag++;
if ( version == '12.2(29)SM1' ) flag++;
if ( version == '12.2(29)SV' ) flag++;
if ( version == '12.2(29)SV1' ) flag++;
if ( version == '12.2(29)SV2' ) flag++;
if ( version == '12.2(29a)' ) flag++;
if ( version == '12.2(29a)SV' ) flag++;
if ( version == '12.2(3)' ) flag++;
if ( version == '12.2(30)S' ) flag++;
if ( version == '12.2(30)S1' ) flag++;
if ( version == '12.2(31)' ) flag++;
if ( version == '12.2(31)SG' ) flag++;
if ( version == '12.2(32)' ) flag++;
if ( version == '12.2(33)SRA' ) flag++;
if ( version == '12.2(34)' ) flag++;
if ( version == '12.2(34a)' ) flag++;
if ( version == '12.2(37)' ) flag++;
if ( version == '12.2(3a)' ) flag++;
if ( version == '12.2(3b)' ) flag++;
if ( version == '12.2(3c)' ) flag++;
if ( version == '12.2(3d)' ) flag++;
if ( version == '12.2(3g)' ) flag++;
if ( version == '12.2(4)B' ) flag++;
if ( version == '12.2(4)B1' ) flag++;
if ( version == '12.2(4)B2' ) flag++;
if ( version == '12.2(4)B3' ) flag++;
if ( version == '12.2(4)B4' ) flag++;
if ( version == '12.2(4)B5' ) flag++;
if ( version == '12.2(4)B6' ) flag++;
if ( version == '12.2(4)B7' ) flag++;
if ( version == '12.2(4)B8' ) flag++;
if ( version == '12.2(4)BC1' ) flag++;
if ( version == '12.2(4)BC1a' ) flag++;
if ( version == '12.2(4)BC1b' ) flag++;
if ( version == '12.2(4)BW' ) flag++;
if ( version == '12.2(4)BW1' ) flag++;
if ( version == '12.2(4)BW1a' ) flag++;
if ( version == '12.2(4)BW2' ) flag++;
if ( version == '12.2(4)BZ1' ) flag++;
if ( version == '12.2(4)BZ2' ) flag++;
if ( version == '12.2(4)JA' ) flag++;
if ( version == '12.2(4)JA1' ) flag++;
if ( version == '12.2(4)MB1' ) flag++;
if ( version == '12.2(4)MB10' ) flag++;
if ( version == '12.2(4)MB11' ) flag++;
if ( version == '12.2(4)MB12' ) flag++;
if ( version == '12.2(4)MB13' ) flag++;
if ( version == '12.2(4)MB13a' ) flag++;
if ( version == '12.2(4)MB13b' ) flag++;
if ( version == '12.2(4)MB13c' ) flag++;
if ( version == '12.2(4)MB2' ) flag++;
if ( version == '12.2(4)MB3' ) flag++;
if ( version == '12.2(4)MB4' ) flag++;
if ( version == '12.2(4)MB5' ) flag++;
if ( version == '12.2(4)MB6' ) flag++;
if ( version == '12.2(4)MB7' ) flag++;
if ( version == '12.2(4)MB8' ) flag++;
if ( version == '12.2(4)MB9' ) flag++;
if ( version == '12.2(4)MB9a' ) flag++;
if ( version == '12.2(4)T' ) flag++;
if ( version == '12.2(4)T1' ) flag++;
if ( version == '12.2(4)T2' ) flag++;
if ( version == '12.2(4)T3' ) flag++;
if ( version == '12.2(4)T5' ) flag++;
if ( version == '12.2(4)T6' ) flag++;
if ( version == '12.2(4)T7' ) flag++;
if ( version == '12.2(4)XF' ) flag++;
if ( version == '12.2(4)XF1' ) flag++;
if ( version == '12.2(4)XL' ) flag++;
if ( version == '12.2(4)XL1' ) flag++;
if ( version == '12.2(4)XL2' ) flag++;
if ( version == '12.2(4)XL3' ) flag++;
if ( version == '12.2(4)XL4' ) flag++;
if ( version == '12.2(4)XL5' ) flag++;
if ( version == '12.2(4)XL6' ) flag++;
if ( version == '12.2(4)XM' ) flag++;
if ( version == '12.2(4)XM1' ) flag++;
if ( version == '12.2(4)XM2' ) flag++;
if ( version == '12.2(4)XM3' ) flag++;
if ( version == '12.2(4)XM4' ) flag++;
if ( version == '12.2(4)XR' ) flag++;
if ( version == '12.2(4)XV' ) flag++;
if ( version == '12.2(4)XV1' ) flag++;
if ( version == '12.2(4)XV2' ) flag++;
if ( version == '12.2(4)XV3' ) flag++;
if ( version == '12.2(4)XV4' ) flag++;
if ( version == '12.2(4)XV4a' ) flag++;
if ( version == '12.2(4)XV5' ) flag++;
if ( version == '12.2(4)XW' ) flag++;
if ( version == '12.2(4)YA' ) flag++;
if ( version == '12.2(4)YA1' ) flag++;
if ( version == '12.2(4)YA10' ) flag++;
if ( version == '12.2(4)YA11' ) flag++;
if ( version == '12.2(4)YA2' ) flag++;
if ( version == '12.2(4)YA3' ) flag++;
if ( version == '12.2(4)YA4' ) flag++;
if ( version == '12.2(4)YA5' ) flag++;
if ( version == '12.2(4)YA6' ) flag++;
if ( version == '12.2(4)YA7' ) flag++;
if ( version == '12.2(4)YA8' ) flag++;
if ( version == '12.2(4)YA9' ) flag++;
if ( version == '12.2(4)YB' ) flag++;
if ( version == '12.2(4)YF' ) flag++;
if ( version == '12.2(4)YG' ) flag++;
if ( version == '12.2(4)YH' ) flag++;
if ( version == '12.2(5)' ) flag++;
if ( version == '12.2(5)DA' ) flag++;
if ( version == '12.2(5)DA1' ) flag++;
if ( version == '12.2(5a)' ) flag++;
if ( version == '12.2(5b)' ) flag++;
if ( version == '12.2(5c)' ) flag++;
if ( version == '12.2(5d)' ) flag++;
if ( version == '12.2(6)' ) flag++;
if ( version == '12.2(6a)' ) flag++;
if ( version == '12.2(6b)' ) flag++;
if ( version == '12.2(6c)' ) flag++;
if ( version == '12.2(6c)M1' ) flag++;
if ( version == '12.2(6d)' ) flag++;
if ( version == '12.2(6e)' ) flag++;
if ( version == '12.2(6f)' ) flag++;
if ( version == '12.2(6g)' ) flag++;
if ( version == '12.2(6h)' ) flag++;
if ( version == '12.2(6i)' ) flag++;
if ( version == '12.2(6j)' ) flag++;
if ( version == '12.2(7)' ) flag++;
if ( version == '12.2(7)DA' ) flag++;
if ( version == '12.2(7a)' ) flag++;
if ( version == '12.2(7b)' ) flag++;
if ( version == '12.2(7c)' ) flag++;
if ( version == '12.2(7e)' ) flag++;
if ( version == '12.2(7g)' ) flag++;
if ( version == '12.2(8)BC1' ) flag++;
if ( version == '12.2(8)BC2' ) flag++;
if ( version == '12.2(8)BC2a' ) flag++;
if ( version == '12.2(8)BY' ) flag++;
if ( version == '12.2(8)BY1' ) flag++;
if ( version == '12.2(8)BY2' ) flag++;
if ( version == '12.2(8)JA' ) flag++;
if ( version == '12.2(8)MC1' ) flag++;
if ( version == '12.2(8)MC2' ) flag++;
if ( version == '12.2(8)MC2a' ) flag++;
if ( version == '12.2(8)MC2b' ) flag++;
if ( version == '12.2(8)MC2c' ) flag++;
if ( version == '12.2(8)MC2d' ) flag++;
if ( version == '12.2(8)T' ) flag++;
if ( version == '12.2(8)T1' ) flag++;
if ( version == '12.2(8)T10' ) flag++;
if ( version == '12.2(8)T2' ) flag++;
if ( version == '12.2(8)T3' ) flag++;
if ( version == '12.2(8)T4' ) flag++;
if ( version == '12.2(8)T5' ) flag++;
if ( version == '12.2(8)T8' ) flag++;
if ( version == '12.2(8)TPC10a' ) flag++;
if ( version == '12.2(8)YD' ) flag++;
if ( version == '12.2(8)YD1' ) flag++;
if ( version == '12.2(8)YD2' ) flag++;
if ( version == '12.2(8)YD3' ) flag++;
if ( version == '12.2(8)YJ' ) flag++;
if ( version == '12.2(8)YJ1' ) flag++;
if ( version == '12.2(8)YL' ) flag++;
if ( version == '12.2(8)YM' ) flag++;
if ( version == '12.2(8)YN' ) flag++;
if ( version == '12.2(8)YN1' ) flag++;
if ( version == '12.2(8)YW' ) flag++;
if ( version == '12.2(8)YW1' ) flag++;
if ( version == '12.2(8)YW2' ) flag++;
if ( version == '12.2(8)YW3' ) flag++;
if ( version == '12.2(8)YY' ) flag++;
if ( version == '12.2(8)YY1' ) flag++;
if ( version == '12.2(8)YY2' ) flag++;
if ( version == '12.2(8)YY3' ) flag++;
if ( version == '12.2(8)YY4' ) flag++;
if ( version == '12.2(8)ZB' ) flag++;
if ( version == '12.2(8)ZB1' ) flag++;
if ( version == '12.2(8)ZB2' ) flag++;
if ( version == '12.2(8)ZB3' ) flag++;
if ( version == '12.2(8)ZB4' ) flag++;
if ( version == '12.2(8)ZB4a' ) flag++;
if ( version == '12.2(8)ZB5' ) flag++;
if ( version == '12.2(8)ZB6' ) flag++;
if ( version == '12.2(8)ZB7' ) flag++;
if ( version == '12.2(8)ZB8' ) flag++;
if ( version == '12.2(9)S' ) flag++;
if ( version == '12.2(9)ZA' ) flag++;
if ( version == '12.3(1)' ) flag++;
if ( version == '12.3(10)' ) flag++;
if ( version == '12.3(10a)' ) flag++;
if ( version == '12.3(10b)' ) flag++;
if ( version == '12.3(10c)' ) flag++;
if ( version == '12.3(10d)' ) flag++;
if ( version == '12.3(10e)' ) flag++;
if ( version == '12.3(10f)' ) flag++;
if ( version == '12.3(11)JX' ) flag++;
if ( version == '12.3(11)JX1' ) flag++;
if ( version == '12.3(11)T' ) flag++;
if ( version == '12.3(11)T10' ) flag++;
if ( version == '12.3(11)T2' ) flag++;
if ( version == '12.3(11)T3' ) flag++;
if ( version == '12.3(11)T4' ) flag++;
if ( version == '12.3(11)T5' ) flag++;
if ( version == '12.3(11)T6' ) flag++;
if ( version == '12.3(11)T7' ) flag++;
if ( version == '12.3(11)T8' ) flag++;
if ( version == '12.3(11)T9' ) flag++;
if ( version == '12.3(11)XL' ) flag++;
if ( version == '12.3(11)XL1' ) flag++;
if ( version == '12.3(11)YF' ) flag++;
if ( version == '12.3(11)YF1' ) flag++;
if ( version == '12.3(11)YF2' ) flag++;
if ( version == '12.3(11)YF3' ) flag++;
if ( version == '12.3(11)YF4' ) flag++;
if ( version == '12.3(11)YJ' ) flag++;
if ( version == '12.3(11)YK' ) flag++;
if ( version == '12.3(11)YK1' ) flag++;
if ( version == '12.3(11)YK2' ) flag++;
if ( version == '12.3(11)YS' ) flag++;
if ( version == '12.3(11)YS1' ) flag++;
if ( version == '12.3(11)YZ' ) flag++;
if ( version == '12.3(11)YZ1' ) flag++;
if ( version == '12.3(12)' ) flag++;
if ( version == '12.3(12a)' ) flag++;
if ( version == '12.3(12b)' ) flag++;
if ( version == '12.3(12c)' ) flag++;
if ( version == '12.3(12d)' ) flag++;
if ( version == '12.3(12e)' ) flag++;
if ( version == '12.3(13)' ) flag++;
if ( version == '12.3(13a)' ) flag++;
if ( version == '12.3(13a)BC' ) flag++;
if ( version == '12.3(13a)BC1' ) flag++;
if ( version == '12.3(13a)BC2' ) flag++;
if ( version == '12.3(13a)BC3' ) flag++;
if ( version == '12.3(13a)BC4' ) flag++;
if ( version == '12.3(13a)BC5' ) flag++;
if ( version == '12.3(13a)BC6' ) flag++;
if ( version == '12.3(13b)' ) flag++;
if ( version == '12.3(14)T' ) flag++;
if ( version == '12.3(14)T1' ) flag++;
if ( version == '12.3(14)T2' ) flag++;
if ( version == '12.3(14)T3' ) flag++;
if ( version == '12.3(14)T5' ) flag++;
if ( version == '12.3(14)T6' ) flag++;
if ( version == '12.3(14)T7' ) flag++;
if ( version == '12.3(14)YM2' ) flag++;
if ( version == '12.3(14)YM3' ) flag++;
if ( version == '12.3(14)YM4' ) flag++;
if ( version == '12.3(14)YM5' ) flag++;
if ( version == '12.3(14)YM6' ) flag++;
if ( version == '12.3(14)YM7' ) flag++;
if ( version == '12.3(14)YQ' ) flag++;
if ( version == '12.3(14)YQ1' ) flag++;
if ( version == '12.3(14)YQ2' ) flag++;
if ( version == '12.3(14)YQ3' ) flag++;
if ( version == '12.3(14)YQ4' ) flag++;
if ( version == '12.3(14)YQ5' ) flag++;
if ( version == '12.3(14)YQ6' ) flag++;
if ( version == '12.3(14)YQ7' ) flag++;
if ( version == '12.3(14)YQ8' ) flag++;
if ( version == '12.3(14)YT' ) flag++;
if ( version == '12.3(14)YT1' ) flag++;
if ( version == '12.3(14)YU' ) flag++;
if ( version == '12.3(14)YU1' ) flag++;
if ( version == '12.3(14)YX' ) flag++;
if ( version == '12.3(14)YX1' ) flag++;
if ( version == '12.3(14)YX2' ) flag++;
if ( version == '12.3(14)YX3' ) flag++;
if ( version == '12.3(15)' ) flag++;
if ( version == '12.3(15a)' ) flag++;
if ( version == '12.3(15b)' ) flag++;
if ( version == '12.3(16)' ) flag++;
if ( version == '12.3(16a)' ) flag++;
if ( version == '12.3(17)' ) flag++;
if ( version == '12.3(17a)' ) flag++;
if ( version == '12.3(17a)BC' ) flag++;
if ( version == '12.3(17a)BC1' ) flag++;
if ( version == '12.3(17a)BC2' ) flag++;
if ( version == '12.3(17b)' ) flag++;
if ( version == '12.3(18)' ) flag++;
if ( version == '12.3(19)' ) flag++;
if ( version == '12.3(1a)' ) flag++;
if ( version == '12.3(1a)B' ) flag++;
if ( version == '12.3(1a)BW' ) flag++;
if ( version == '12.3(2)JA' ) flag++;
if ( version == '12.3(2)JA1' ) flag++;
if ( version == '12.3(2)JA2' ) flag++;
if ( version == '12.3(2)JA5' ) flag++;
if ( version == '12.3(2)JA6' ) flag++;
if ( version == '12.3(2)JK' ) flag++;
if ( version == '12.3(2)JK1' ) flag++;
if ( version == '12.3(2)JL' ) flag++;
if ( version == '12.3(2)T' ) flag++;
if ( version == '12.3(2)T1' ) flag++;
if ( version == '12.3(2)T2' ) flag++;
if ( version == '12.3(2)T3' ) flag++;
if ( version == '12.3(2)T4' ) flag++;
if ( version == '12.3(2)T5' ) flag++;
if ( version == '12.3(2)T6' ) flag++;
if ( version == '12.3(2)T7' ) flag++;
if ( version == '12.3(2)T8' ) flag++;
if ( version == '12.3(2)T9' ) flag++;
if ( version == '12.3(2)XA' ) flag++;
if ( version == '12.3(2)XA1' ) flag++;
if ( version == '12.3(2)XA2' ) flag++;
if ( version == '12.3(2)XA3' ) flag++;
if ( version == '12.3(2)XA4' ) flag++;
if ( version == '12.3(2)XA5' ) flag++;
if ( version == '12.3(2)XB' ) flag++;
if ( version == '12.3(2)XB1' ) flag++;
if ( version == '12.3(2)XB3' ) flag++;
if ( version == '12.3(2)XC' ) flag++;
if ( version == '12.3(2)XC1' ) flag++;
if ( version == '12.3(2)XC2' ) flag++;
if ( version == '12.3(2)XC3' ) flag++;
if ( version == '12.3(2)XC4' ) flag++;
if ( version == '12.3(2)XE' ) flag++;
if ( version == '12.3(2)XE1' ) flag++;
if ( version == '12.3(2)XE2' ) flag++;
if ( version == '12.3(2)XE3' ) flag++;
if ( version == '12.3(2)XE4' ) flag++;
if ( version == '12.3(2)XF' ) flag++;
if ( version == '12.3(2)XZ' ) flag++;
if ( version == '12.3(2)XZ1' ) flag++;
if ( version == '12.3(2)XZ2' ) flag++;
if ( version == '12.3(20)' ) flag++;
if ( version == '12.3(3)' ) flag++;
if ( version == '12.3(3)B' ) flag++;
if ( version == '12.3(3)B1' ) flag++;
if ( version == '12.3(3a)' ) flag++;
if ( version == '12.3(3b)' ) flag++;
if ( version == '12.3(3c)' ) flag++;
if ( version == '12.3(3e)' ) flag++;
if ( version == '12.3(3f)' ) flag++;
if ( version == '12.3(3g)' ) flag++;
if ( version == '12.3(3h)' ) flag++;
if ( version == '12.3(3i)' ) flag++;
if ( version == '12.3(4)JA' ) flag++;
if ( version == '12.3(4)JA1' ) flag++;
if ( version == '12.3(4)JA2' ) flag++;
if ( version == '12.3(4)T' ) flag++;
if ( version == '12.3(4)T1' ) flag++;
if ( version == '12.3(4)T10' ) flag++;
if ( version == '12.3(4)T11' ) flag++;
if ( version == '12.3(4)T2' ) flag++;
if ( version == '12.3(4)T2a' ) flag++;
if ( version == '12.3(4)T3' ) flag++;
if ( version == '12.3(4)T4' ) flag++;
if ( version == '12.3(4)T6' ) flag++;
if ( version == '12.3(4)T7' ) flag++;
if ( version == '12.3(4)T8' ) flag++;
if ( version == '12.3(4)T9' ) flag++;
if ( version == '12.3(4)TPC11a' ) flag++;
if ( version == '12.3(4)XD' ) flag++;
if ( version == '12.3(4)XD1' ) flag++;
if ( version == '12.3(4)XD2' ) flag++;
if ( version == '12.3(4)XD3' ) flag++;
if ( version == '12.3(4)XD4' ) flag++;
if ( version == '12.3(4)XG' ) flag++;
if ( version == '12.3(4)XG1' ) flag++;
if ( version == '12.3(4)XG2' ) flag++;
if ( version == '12.3(4)XG3' ) flag++;
if ( version == '12.3(4)XG4' ) flag++;
if ( version == '12.3(4)XG5' ) flag++;
if ( version == '12.3(4)XK' ) flag++;
if ( version == '12.3(4)XK1' ) flag++;
if ( version == '12.3(4)XK2' ) flag++;
if ( version == '12.3(4)XK3' ) flag++;
if ( version == '12.3(4)XK4' ) flag++;
if ( version == '12.3(4)XQ' ) flag++;
if ( version == '12.3(4)XQ1' ) flag++;
if ( version == '12.3(5)' ) flag++;
if ( version == '12.3(5a)' ) flag++;
if ( version == '12.3(5a)B' ) flag++;
if ( version == '12.3(5a)B1' ) flag++;
if ( version == '12.3(5a)B2' ) flag++;
if ( version == '12.3(5a)B3' ) flag++;
if ( version == '12.3(5a)B4' ) flag++;
if ( version == '12.3(5a)B5' ) flag++;
if ( version == '12.3(5b)' ) flag++;
if ( version == '12.3(5c)' ) flag++;
if ( version == '12.3(5d)' ) flag++;
if ( version == '12.3(5e)' ) flag++;
if ( version == '12.3(5f)' ) flag++;
if ( version == '12.3(6)' ) flag++;
if ( version == '12.3(6a)' ) flag++;
if ( version == '12.3(6b)' ) flag++;
if ( version == '12.3(6c)' ) flag++;
if ( version == '12.3(6e)' ) flag++;
if ( version == '12.3(6f)' ) flag++;
if ( version == '12.3(7)JA' ) flag++;
if ( version == '12.3(7)JA1' ) flag++;
if ( version == '12.3(7)JA2' ) flag++;
if ( version == '12.3(7)JA3' ) flag++;
if ( version == '12.3(7)JA4' ) flag++;
if ( version == '12.3(7)T' ) flag++;
if ( version == '12.3(7)T1' ) flag++;
if ( version == '12.3(7)T10' ) flag++;
if ( version == '12.3(7)T11' ) flag++;
if ( version == '12.3(7)T12' ) flag++;
if ( version == '12.3(7)T2' ) flag++;
if ( version == '12.3(7)T3' ) flag++;
if ( version == '12.3(7)T4' ) flag++;
if ( version == '12.3(7)T6' ) flag++;
if ( version == '12.3(7)T7' ) flag++;
if ( version == '12.3(7)T8' ) flag++;
if ( version == '12.3(7)T9' ) flag++;
if ( version == '12.3(7)XI1' ) flag++;
if ( version == '12.3(7)XI1b' ) flag++;
if ( version == '12.3(7)XI1c' ) flag++;
if ( version == '12.3(7)XI2' ) flag++;
if ( version == '12.3(7)XI2a' ) flag++;
if ( version == '12.3(7)XI3' ) flag++;
if ( version == '12.3(7)XI4' ) flag++;
if ( version == '12.3(7)XI5' ) flag++;
if ( version == '12.3(7)XI6' ) flag++;
if ( version == '12.3(7)XI7' ) flag++;
if ( version == '12.3(7)XI7a' ) flag++;
if ( version == '12.3(7)XI7b' ) flag++;
if ( version == '12.3(7)XI8' ) flag++;
if ( version == '12.3(7)XJ' ) flag++;
if ( version == '12.3(7)XJ1' ) flag++;
if ( version == '12.3(7)XJ2' ) flag++;
if ( version == '12.3(7)XR' ) flag++;
if ( version == '12.3(7)XR2' ) flag++;
if ( version == '12.3(7)XR3' ) flag++;
if ( version == '12.3(7)XR4' ) flag++;
if ( version == '12.3(7)XR5' ) flag++;
if ( version == '12.3(7)XR6' ) flag++;
if ( version == '12.3(7)XS' ) flag++;
if ( version == '12.3(7)XS1' ) flag++;
if ( version == '12.3(7)XS2' ) flag++;
if ( version == '12.3(8)JA' ) flag++;
if ( version == '12.3(8)JA1' ) flag++;
if ( version == '12.3(8)JA2' ) flag++;
if ( version == '12.3(8)T' ) flag++;
if ( version == '12.3(8)T1' ) flag++;
if ( version == '12.3(8)T10' ) flag++;
if ( version == '12.3(8)T11' ) flag++;
if ( version == '12.3(8)T3' ) flag++;
if ( version == '12.3(8)T4' ) flag++;
if ( version == '12.3(8)T5' ) flag++;
if ( version == '12.3(8)T6' ) flag++;
if ( version == '12.3(8)T7' ) flag++;
if ( version == '12.3(8)T8' ) flag++;
if ( version == '12.3(8)T9' ) flag++;
if ( version == '12.3(8)XU' ) flag++;
if ( version == '12.3(8)XU1' ) flag++;
if ( version == '12.3(8)XU2' ) flag++;
if ( version == '12.3(8)XU3' ) flag++;
if ( version == '12.3(8)XU4' ) flag++;
if ( version == '12.3(8)XU5' ) flag++;
if ( version == '12.3(8)XW' ) flag++;
if ( version == '12.3(8)XW1' ) flag++;
if ( version == '12.3(8)XW2' ) flag++;
if ( version == '12.3(8)XW3' ) flag++;
if ( version == '12.3(8)XX' ) flag++;
if ( version == '12.3(8)XX1' ) flag++;
if ( version == '12.3(8)XY' ) flag++;
if ( version == '12.3(8)XY1' ) flag++;
if ( version == '12.3(8)XY2' ) flag++;
if ( version == '12.3(8)XY3' ) flag++;
if ( version == '12.3(8)XY4' ) flag++;
if ( version == '12.3(8)XY5' ) flag++;
if ( version == '12.3(8)XY6' ) flag++;
if ( version == '12.3(8)XY7' ) flag++;
if ( version == '12.3(8)YA' ) flag++;
if ( version == '12.3(8)YA1' ) flag++;
if ( version == '12.3(8)YD' ) flag++;
if ( version == '12.3(8)YD1' ) flag++;
if ( version == '12.3(8)YG' ) flag++;
if ( version == '12.3(8)YG1' ) flag++;
if ( version == '12.3(8)YG2' ) flag++;
if ( version == '12.3(8)YG3' ) flag++;
if ( version == '12.3(8)YG4' ) flag++;
if ( version == '12.3(8)YG5' ) flag++;
if ( version == '12.3(8)YH' ) flag++;
if ( version == '12.3(8)YI1' ) flag++;
if ( version == '12.3(8)YI2' ) flag++;
if ( version == '12.3(8)YI3' ) flag++;
if ( version == '12.3(8)ZA' ) flag++;
if ( version == '12.3(9)' ) flag++;
if ( version == '12.3(9a)' ) flag++;
if ( version == '12.3(9a)BC' ) flag++;
if ( version == '12.3(9a)BC1' ) flag++;
if ( version == '12.3(9a)BC2' ) flag++;
if ( version == '12.3(9a)BC3' ) flag++;
if ( version == '12.3(9a)BC4' ) flag++;
if ( version == '12.3(9a)BC5' ) flag++;
if ( version == '12.3(9a)BC6' ) flag++;
if ( version == '12.3(9a)BC7' ) flag++;
if ( version == '12.3(9a)BC8' ) flag++;
if ( version == '12.3(9a)BC9' ) flag++;
if ( version == '12.3(9b)' ) flag++;
if ( version == '12.3(9c)' ) flag++;
if ( version == '12.3(9d)' ) flag++;
if ( version == '12.3(9e)' ) flag++;
if ( version == '12.4(1)' ) flag++;
if ( version == '12.4(1a)' ) flag++;
if ( version == '12.4(1b)' ) flag++;
if ( version == '12.4(1c)' ) flag++;
if ( version == '12.4(2)MR' ) flag++;
if ( version == '12.4(2)MR1' ) flag++;
if ( version == '12.4(2)T' ) flag++;
if ( version == '12.4(2)T1' ) flag++;
if ( version == '12.4(2)T2' ) flag++;
if ( version == '12.4(2)T3' ) flag++;
if ( version == '12.4(2)T4' ) flag++;
if ( version == '12.4(2)T5' ) flag++;
if ( version == '12.4(2)XA' ) flag++;
if ( version == '12.4(2)XA1' ) flag++;
if ( version == '12.4(2)XA2' ) flag++;
if ( version == '12.4(2)XB' ) flag++;
if ( version == '12.4(2)XB1' ) flag++;
if ( version == '12.4(2)XB2' ) flag++;
if ( version == '12.4(3)' ) flag++;
if ( version == '12.4(3a)' ) flag++;
if ( version == '12.4(3b)' ) flag++;
if ( version == '12.4(3c)' ) flag++;
if ( version == '12.4(3d)' ) flag++;
if ( version == '12.4(3e)' ) flag++;
if ( version == '12.4(4)MR' ) flag++;
if ( version == '12.4(4)MR1' ) flag++;
if ( version == '12.4(4)T' ) flag++;
if ( version == '12.4(4)T1' ) flag++;
if ( version == '12.4(4)T2' ) flag++;
if ( version == '12.4(4)T3' ) flag++;
if ( version == '12.4(4)T4' ) flag++;
if ( version == '12.4(4)XC' ) flag++;
if ( version == '12.4(4)XC1' ) flag++;
if ( version == '12.4(4)XC2' ) flag++;
if ( version == '12.4(4)XC3' ) flag++;
if ( version == '12.4(4)XC4' ) flag++;
if ( version == '12.4(4)XD' ) flag++;
if ( version == '12.4(4)XD1' ) flag++;
if ( version == '12.4(4)XD2' ) flag++;
if ( version == '12.4(5)' ) flag++;
if ( version == '12.4(5a)' ) flag++;
if ( version == '12.4(5b)' ) flag++;
if ( version == '12.4(6)MR' ) flag++;
if ( version == '12.4(6)MR1' ) flag++;
if ( version == '12.4(6)T' ) flag++;
if ( version == '12.4(6)T1' ) flag++;
if ( version == '12.4(6)T2' ) flag++;
if ( version == '12.4(6)T3' ) flag++;
if ( version == '12.4(6)XE' ) flag++;
if ( version == '12.4(6)XE1' ) flag++;
if ( version == '12.4(7)' ) flag++;
if ( version == '12.4(7a)' ) flag++;
if ( version == '12.4(7b)' ) flag++;
if ( version == '12.4(8)' ) flag++;
if ( version == '12.4(8a)' ) flag++;
if ( version == '12.4(9)T' ) flag++;
if (get_kb_item("Host/local_checks_enabled"))
{
  if (flag)
  {
    flag = 0;
    buf = cisco_command_kb_item("Host/Cisco/Config/show_snmp_group", "show snmp group");
    if (check_cisco_result(buf))
    {
      if (preg(pattern:"[Ss]ecurity\s+[Mm]odel:v3", multiline:TRUE, string:buf)) { flag = 1; }
    } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }
  }
}


if (flag)
{
  security_hole(port:0, extra:cisco_caveat(override));
  exit(0);
}
else audit(AUDIT_HOST_NOT, "affected");