Vulnerabilities > CVE-2012-0382 - Resource Exhaustion vulnerability in Cisco IOS XE

047910
CVSS 7.8 - HIGH
Attack vector
NETWORK
Attack complexity
LOW
Privileges required
NONE
Confidentiality impact
NONE
Integrity impact
NONE
Availability impact
COMPLETE
network
low complexity
cisco
CWE-400
nessus

Summary

The Multicast Source Discovery Protocol (MSDP) implementation in Cisco IOS 12.0, 12.2 through 12.4, and 15.0 through 15.2 and IOS XE 2.1.x through 2.6.x and 3.1.xS through 3.4.xS before 3.4.1S and 3.1.xSG and 3.2.xSG before 3.2.2SG allows remote attackers to cause a denial of service (device reload) via encapsulated IGMP data in an MSDP packet, aka Bug ID CSCtr28857.

Vulnerable Configurations

Part Description Count
OS
Cisco
898

Common Attack Pattern Enumeration and Classification (CAPEC)

  • XML Ping of the Death
    An attacker initiates a resource depletion attack where a large number of small XML messages are delivered at a sufficiently rapid rate to cause a denial of service or crash of the target. Transactions such as repetitive SOAP transactions can deplete resources faster than a simple flooding attack because of the additional resources used by the SOAP protocol and the resources necessary to process SOAP messages. The transactions used are immaterial as long as they cause resource utilization on the target. In other words, this is a normal flooding attack augmented by using messages that will require extra processing on the target.
  • XML Entity Expansion
    An attacker submits an XML document to a target application where the XML document uses nested entity expansion to produce an excessively large output XML. XML allows the definition of macro-like structures that can be used to simplify the creation of complex structures. However, this capability can be abused to create excessive demands on a processor's CPU and memory. A small number of nested expansions can result in an exponential growth in demands on memory.
  • Inducing Account Lockout
    An attacker leverages the security functionality of the system aimed at thwarting potential attacks to launch a denial of service attack against a legitimate system user. Many systems, for instance, implement a password throttling mechanism that locks an account after a certain number of incorrect log in attempts. An attacker can leverage this throttling mechanism to lock a legitimate user out of their own account. The weakness that is being leveraged by an attacker is the very security feature that has been put in place to counteract attacks.
  • Violating Implicit Assumptions Regarding XML Content (aka XML Denial of Service (XDoS))
    XML Denial of Service (XDoS) can be applied to any technology that utilizes XML data. This is, of course, most distributed systems technology including Java, .Net, databases, and so on. XDoS is most closely associated with web services, SOAP, and Rest, because remote service requesters can post malicious XML payloads to the service provider designed to exhaust the service provider's memory, CPU, and/or disk space. The main weakness in XDoS is that the service provider generally must inspect, parse, and validate the XML messages to determine routing, workflow, security considerations, and so on. It is exactly these inspection, parsing, and validation routines that XDoS targets. There are three primary attack vectors that XDoS can navigate Target CPU through recursion: attacker creates a recursive payload and sends to service provider Target memory through jumbo payloads: service provider uses DOM to parse XML. DOM creates in memory representation of XML document, but when document is very large (for example, north of 1 Gb) service provider host may exhaust memory trying to build memory objects. XML Ping of death: attack service provider with numerous small files that clog the system. All of the above attacks exploit the loosely coupled nature of web services, where the service provider has little to no control over the service requester and any messages the service requester sends.

Nessus

NASL familyCISCO
NASL idCISCO-SA-20120328-MSDP.NASL
descriptionAccording to its self-reported version number, the remote Cisco IOS device is affected by a denial of service vulnerability in the Multicast Source Discovery Protocol (MSDP) implementation. An unauthenticated, remote attacker can exploit this, via an MSDP packet containing encapsulated IGMP data, to cause the device to reload.
last seen2019-10-28
modified2012-04-02
plugin id58568
published2012-04-02
reporterThis script is Copyright (C) 2012-2018 Tenable Network Security, Inc.
sourcehttps://www.tenable.com/plugins/nessus/58568
titleCisco IOS Software Multicast Source Discovery Protocol DoS (cisco-sa-20120328-msdp)
code
#TRUSTED 926a46698505b63eee9387e51889fe307390298b0ac9483f098c4404aa51cb4c9bf1353c0315e9a96dfd891e4ba1b530a61ba8932a09fe4bff89087ce662083e936519479aa79faf562dd39b1a252742413ff178487be741e27b24d6bbb7badb3916828adad3febaa159cff8852c02de24db85ecd3cd7f123c08ee3e44f8384471804384f9cde5257aa9e8d84df28096feb80630c89ccc223e78a128c06a27de4e5bafffb59bab9d240fd24cf4b1521b43ad3908ad28013e3ddea4d0e36fd12335b7c813361de340876c2eb9b4da0670965f591ac4fe5bec48e0c9b567c49d43c9fd79c35d94e62c82524d0d6f25c8889c501793c756bb2cc262f901c9796c745aa8ce5264499b430fd76b434af8a23aa5b46eb907c638e489c4aa224e3dfbfac3b100a6b02ab2a2bfea2b7ccfaf03198c748e64df597a5572a4fda8b243971f6feab50a69622960a46932ef7bafa43abc742002bea19a71e6b4da3f6e437d824d0212beef8c0f137347cd7513f7b40f565f15f6695783d3894b072a5c32f2fb18677077aa72c1251f3a5c0e22b003d1124f934ad189aee582b5744606814d596ffa5a312ae6cef91cbab4854093767bad2805fa9a8f1d5c2ddf8a025405f01ebe801cbaaf9ae7f9c79abd8f4678b524ad2d0f051de1e544fad4d97955ac1eaf0de4b4141e1e7e793c8cc81cb3f3fde443ef9c580289f38144c476178d04f0a7
#
# (C) Tenable Network Security, Inc.
#

include("compat.inc");

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

  script_cve_id("CVE-2012-0382");
  script_bugtraq_id(52759);
  script_xref(name:"CISCO-BUG-ID", value:"CSCtr28857");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20120328-msdp");

  script_name(english:"Cisco IOS Software Multicast Source Discovery Protocol DoS (cisco-sa-20120328-msdp)");
  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:
"According to its self-reported version number, the remote Cisco IOS
device is affected by a denial of service vulnerability in the
Multicast Source Discovery Protocol (MSDP) implementation. An
unauthenticated, remote attacker can exploit this, via an MSDP packet
containing encapsulated IGMP data, to cause the device to reload.");
  # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20120328-msdp
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?aa7a7e3b");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco Security
Advisory cisco-sa-20120328-msdp. Alternatively, apply the workarounds
detailed in the vendor advisory.");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:M/Au:N/C:N/I:N/A:C");
  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:"plugin_type", value:"combined");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios");

  script_set_attribute(attribute:"vuln_publication_date", value:"2012/03/28");
  script_set_attribute(attribute:"patch_publication_date", value:"2012/03/27");
  script_set_attribute(attribute:"plugin_publication_date", value:"2012/04/02");

  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_copyright(english:"This script is Copyright (C) 2012-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;
override = 0;

version = get_kb_item_or_exit("Host/Cisco/IOS/Version");
if ( version == '12.0(1)' ) flag++;
if ( version == '12.0(1)T' ) flag++;
if ( version == '12.0(1)XE' ) flag++;
if ( version == '12.0(10)' ) flag++;
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(10a)' ) flag++;
if ( version == '12.0(11)' ) 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(11a)' ) flag++;
if ( version == '12.0(12)' ) 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(12a)' ) flag++;
if ( version == '12.0(13)' ) 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)S7' ) flag++;
if ( version == '12.0(13)S8' ) flag++;
if ( version == '12.0(13)SC' ) flag++;
if ( version == '12.0(13a)' ) flag++;
if ( version == '12.0(14)' ) 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(14a)' ) flag++;
if ( version == '12.0(15)' ) 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(15a)' ) flag++;
if ( version == '12.0(15b)' ) flag++;
if ( version == '12.0(16)' ) 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)S11' ) flag++;
if ( version == '12.0(16)S12' ) 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(16a)' ) flag++;
if ( version == '12.0(16b)' ) flag++;
if ( version == '12.0(17)' ) 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)SL7' ) flag++;
if ( version == '12.0(17)SL8' ) flag++;
if ( version == '12.0(17)SL9' ) flag++;
if ( version == '12.0(17)ST' ) flag++;
if ( version == '12.0(17)ST1' ) flag++;
if ( version == '12.0(17)ST10' ) 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(17)ST9' ) flag++;
if ( version == '12.0(17a)' ) flag++;
if ( version == '12.0(18)' ) 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(18a)' ) flag++;
if ( version == '12.0(18b)' ) flag++;
if ( version == '12.0(19)' ) 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)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(19a)' ) flag++;
if ( version == '12.0(19b)' ) flag++;
if ( version == '12.0(1a)' ) flag++;
if ( version == '12.0(2)' ) flag++;
if ( version == '12.0(2)S' ) flag++;
if ( version == '12.0(2)T' ) flag++;
if ( version == '12.0(2)T1' ) flag++;
if ( version == '12.0(2)XE' ) flag++;
if ( version == '12.0(2)XE1' ) flag++;
if ( version == '12.0(2)XE2' ) flag++;
if ( version == '12.0(2)XE3' ) flag++;
if ( version == '12.0(2)XE4' ) flag++;
if ( version == '12.0(20)' ) 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(20a)' ) flag++;
if ( version == '12.0(21)' ) 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)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(21a)' ) flag++;
if ( version == '12.0(22)' ) 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(22)SY' ) flag++;
if ( version == '12.0(23)' ) 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)SZ' ) flag++;
if ( version == '12.0(23)SZ2' ) flag++;
if ( version == '12.0(23)SZ3' ) flag++;
if ( version == '12.0(24)' ) 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)S2c' ) 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)S4b' ) flag++;
if ( version == '12.0(24)S5' ) flag++;
if ( version == '12.0(24)S5a' ) flag++;
if ( version == '12.0(24)S6' ) flag++;
if ( version == '12.0(24)S6a' ) flag++;
if ( version == '12.0(24)SX' ) flag++;
if ( version == '12.0(25)' ) 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)S4a' ) flag++;
if ( version == '12.0(25)S4b' ) flag++;
if ( version == '12.0(25)S4c' ) flag++;
if ( version == '12.0(25)S4d' ) flag++;
if ( version == '12.0(25)S5' ) flag++;
if ( version == '12.0(25)S6' ) flag++;
if ( version == '12.0(25)S6a' ) 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)SX11' ) flag++;
if ( version == '12.0(25)SX12' ) 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)SX6a' ) flag++;
if ( version == '12.0(25)SX6b' ) flag++;
if ( version == '12.0(25)SX6c' ) flag++;
if ( version == '12.0(25)SX6d' ) flag++;
if ( version == '12.0(25)SX6e' ) flag++;
if ( version == '12.0(25)SX6f' ) flag++;
if ( version == '12.0(25)SX6g' ) 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)' ) 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)S2a' ) flag++;
if ( version == '12.0(26)S2b' ) flag++;
if ( version == '12.0(26)S3' ) flag++;
if ( version == '12.0(26)S3a' ) flag++;
if ( version == '12.0(26)S4' ) flag++;
if ( version == '12.0(26)S4a' ) flag++;
if ( version == '12.0(26)S4b' ) flag++;
if ( version == '12.0(26)S4c' ) flag++;
if ( version == '12.0(26)S5' ) flag++;
if ( version == '12.0(26)S5a' ) flag++;
if ( version == '12.0(26)S5b' ) flag++;
if ( version == '12.0(26)S6' ) flag++;
if ( version == '12.0(26)S6b' ) flag++;
if ( version == '12.0(26)S6c' ) flag++;
if ( version == '12.0(26)SZ' ) flag++;
if ( version == '12.0(27)' ) 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)S2b' ) flag++;
if ( version == '12.0(27)S2c' ) flag++;
if ( version == '12.0(27)S2d' ) flag++;
if ( version == '12.0(27)S3' ) flag++;
if ( version == '12.0(27)S3a' ) flag++;
if ( version == '12.0(27)S3b' ) flag++;
if ( version == '12.0(27)S3c' ) flag++;
if ( version == '12.0(27)S3d' ) flag++;
if ( version == '12.0(27)S4' ) flag++;
if ( version == '12.0(27)S4a' ) flag++;
if ( version == '12.0(27)S4b' ) flag++;
if ( version == '12.0(27)S4c' ) flag++;
if ( version == '12.0(27)S4d' ) flag++;
if ( version == '12.0(27)S4e' ) flag++;
if ( version == '12.0(27)S5' ) flag++;
if ( version == '12.0(27)S5a' ) flag++;
if ( version == '12.0(27)S5b' ) flag++;
if ( version == '12.0(27)S5c' ) flag++;
if ( version == '12.0(27)S5d' ) flag++;
if ( version == '12.0(27)S5e' ) flag++;
if ( version == '12.0(27)SV' ) flag++;
if ( version == '12.0(27)SV1' ) flag++;
if ( version == '12.0(27)SV2' ) flag++;
if ( version == '12.0(27)SV3' ) flag++;
if ( version == '12.0(27)SV4' ) flag++;
if ( version == '12.0(27)SY' ) flag++;
if ( version == '12.0(27)SZ' ) flag++;
if ( version == '12.0(28)' ) flag++;
if ( version == '12.0(28)S' ) flag++;
if ( version == '12.0(28)S1' ) flag++;
if ( version == '12.0(28)S1a' ) flag++;
if ( version == '12.0(28)S1b' ) flag++;
if ( version == '12.0(28)S2' ) flag++;
if ( version == '12.0(28)S2a' ) flag++;
if ( version == '12.0(28)S3' ) flag++;
if ( version == '12.0(28)S4' ) flag++;
if ( version == '12.0(28)S4a' ) flag++;
if ( version == '12.0(28)S4b' ) flag++;
if ( version == '12.0(28)S4c' ) flag++;
if ( version == '12.0(28)S4d' ) flag++;
if ( version == '12.0(28)S4e' ) flag++;
if ( version == '12.0(28)S4f' ) flag++;
if ( version == '12.0(28)S4g' ) flag++;
if ( version == '12.0(28)S5' ) flag++;
if ( version == '12.0(28)S5a' ) flag++;
if ( version == '12.0(28)S5b' ) flag++;
if ( version == '12.0(28)S5c' ) flag++;
if ( version == '12.0(28)S5d' ) flag++;
if ( version == '12.0(28)S5e' ) flag++;
if ( version == '12.0(28)S6' ) flag++;
if ( version == '12.0(28)S6a' ) flag++;
if ( version == '12.0(28)S6b' ) flag++;
if ( version == '12.0(28)SV' ) flag++;
if ( version == '12.0(28)SW' ) flag++;
if ( version == '12.0(28a)' ) flag++;
if ( version == '12.0(28b)' ) flag++;
if ( version == '12.0(28c)' ) flag++;
if ( version == '12.0(28d)' ) flag++;
if ( version == '12.0(29)S' ) flag++;
if ( version == '12.0(29)S1' ) flag++;
if ( version == '12.0(2a)' ) flag++;
if ( version == '12.0(2a)T1' ) flag++;
if ( version == '12.0(2b)' ) flag++;
if ( version == '12.0(3)' ) flag++;
if ( version == '12.0(3)S' ) 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(30)S' ) flag++;
if ( version == '12.0(30)S1' ) flag++;
if ( version == '12.0(30)S2' ) flag++;
if ( version == '12.0(30)S2a' ) flag++;
if ( version == '12.0(30)S2m' ) flag++;
if ( version == '12.0(30)S2n' ) flag++;
if ( version == '12.0(30)S3' ) flag++;
if ( version == '12.0(30)S3a' ) flag++;
if ( version == '12.0(30)S3b' ) flag++;
if ( version == '12.0(30)S3c' ) flag++;
if ( version == '12.0(30)S3d' ) flag++;
if ( version == '12.0(30)S3s' ) flag++;
if ( version == '12.0(30)S3t' ) flag++;
if ( version == '12.0(30)S4' ) flag++;
if ( version == '12.0(30)S4a' ) flag++;
if ( version == '12.0(30)S4b' ) flag++;
if ( version == '12.0(30)S5' ) flag++;
if ( version == '12.0(30)S5a' ) flag++;
if ( version == '12.0(30)SV1' ) flag++;
if ( version == '12.0(30)SW' ) flag++;
if ( version == '12.0(30)SX' ) flag++;
if ( version == '12.0(30)SZ' ) flag++;
if ( version == '12.0(30)SZ1' ) flag++;
if ( version == '12.0(30)SZ10' ) flag++;
if ( version == '12.0(30)SZ11' ) flag++;
if ( version == '12.0(30)SZ2' ) flag++;
if ( version == '12.0(30)SZ3' ) flag++;
if ( version == '12.0(30)SZ4' ) flag++;
if ( version == '12.0(30)SZ5' ) flag++;
if ( version == '12.0(30)SZ6' ) flag++;
if ( version == '12.0(30)SZ7' ) flag++;
if ( version == '12.0(30)SZ8' ) flag++;
if ( version == '12.0(30)SZ9' ) flag++;
if ( version == '12.0(31)S' ) flag++;
if ( version == '12.0(31)S0a' ) flag++;
if ( version == '12.0(31)S0b' ) flag++;
if ( version == '12.0(31)S1' ) flag++;
if ( version == '12.0(31)S1a' ) flag++;
if ( version == '12.0(31)S1b' ) flag++;
if ( version == '12.0(31)S1c' ) flag++;
if ( version == '12.0(31)S1d' ) flag++;
if ( version == '12.0(31)S1e' ) flag++;
if ( version == '12.0(31)S2' ) flag++;
if ( version == '12.0(31)S2a' ) flag++;
if ( version == '12.0(31)S2b' ) flag++;
if ( version == '12.0(31)S2c' ) flag++;
if ( version == '12.0(31)S2d' ) flag++;
if ( version == '12.0(31)S2s' ) flag++;
if ( version == '12.0(31)S2t' ) flag++;
if ( version == '12.0(31)S2u' ) flag++;
if ( version == '12.0(31)S2v' ) flag++;
if ( version == '12.0(31)S2w' ) flag++;
if ( version == '12.0(31)S2x' ) flag++;
if ( version == '12.0(31)S2y' ) flag++;
if ( version == '12.0(31)S2z' ) flag++;
if ( version == '12.0(31)S3' ) flag++;
if ( version == '12.0(31)S3a' ) flag++;
if ( version == '12.0(31)S3b' ) flag++;
if ( version == '12.0(31)S3c' ) flag++;
if ( version == '12.0(31)S3d' ) flag++;
if ( version == '12.0(31)S3e' ) flag++;
if ( version == '12.0(31)S4' ) flag++;
if ( version == '12.0(31)S4a' ) flag++;
if ( version == '12.0(31)S4b' ) flag++;
if ( version == '12.0(31)S4c' ) flag++;
if ( version == '12.0(31)S5' ) flag++;
if ( version == '12.0(31)S5a' ) flag++;
if ( version == '12.0(31)S5b' ) flag++;
if ( version == '12.0(31)S5c' ) flag++;
if ( version == '12.0(31)S5d' ) flag++;
if ( version == '12.0(31)S5e' ) flag++;
if ( version == '12.0(31)S6' ) flag++;
if ( version == '12.0(31)S6a' ) flag++;
if ( version == '12.0(31)S6b' ) flag++;
if ( version == '12.0(31)S6c' ) flag++;
if ( version == '12.0(31)S6d' ) flag++;
if ( version == '12.0(31)S6e' ) flag++;
if ( version == '12.0(31)SV' ) flag++;
if ( version == '12.0(31)SV1' ) flag++;
if ( version == '12.0(31)SV2' ) flag++;
if ( version == '12.0(31)SZ2' ) flag++;
if ( version == '12.0(31a)S2a' ) flag++;
if ( version == '12.0(31a)S2b' ) flag++;
if ( version == '12.0(32)S' ) flag++;
if ( version == '12.0(32)S1' ) flag++;
if ( version == '12.0(32)S10' ) flag++;
if ( version == '12.0(32)S11' ) flag++;
if ( version == '12.0(32)S11n' ) flag++;
if ( version == '12.0(32)S11o' ) flag++;
if ( version == '12.0(32)S11p' ) flag++;
if ( version == '12.0(32)S11q' ) flag++;
if ( version == '12.0(32)S11r' ) flag++;
if ( version == '12.0(32)S11v' ) flag++;
if ( version == '12.0(32)S12' ) flag++;
if ( version == '12.0(32)S13' ) flag++;
if ( version == '12.0(32)S14' ) flag++;
if ( version == '12.0(32)S15' ) flag++;
if ( version == '12.0(32)S1a' ) flag++;
if ( version == '12.0(32)S1b' ) flag++;
if ( version == '12.0(32)S2' ) flag++;
if ( version == '12.0(32)S3' ) flag++;
if ( version == '12.0(32)S3a' ) flag++;
if ( version == '12.0(32)S3b' ) flag++;
if ( version == '12.0(32)S3c' ) flag++;
if ( version == '12.0(32)S3e' ) flag++;
if ( version == '12.0(32)S3f' ) flag++;
if ( version == '12.0(32)S4' ) flag++;
if ( version == '12.0(32)S4a' ) flag++;
if ( version == '12.0(32)S4b' ) flag++;
if ( version == '12.0(32)S5' ) flag++;
if ( version == '12.0(32)S5a' ) flag++;
if ( version == '12.0(32)S5b' ) flag++;
if ( version == '12.0(32)S6' ) flag++;
if ( version == '12.0(32)S6a' ) flag++;
if ( version == '12.0(32)S6b' ) flag++;
if ( version == '12.0(32)S6c' ) flag++;
if ( version == '12.0(32)S6ca' ) flag++;
if ( version == '12.0(32)S6d' ) flag++;
if ( version == '12.0(32)S6m' ) flag++;
if ( version == '12.0(32)S6n' ) flag++;
if ( version == '12.0(32)S6o' ) flag++;
if ( version == '12.0(32)S6p' ) flag++;
if ( version == '12.0(32)S6q' ) flag++;
if ( version == '12.0(32)S6r' ) flag++;
if ( version == '12.0(32)S7' ) flag++;
if ( version == '12.0(32)S8' ) flag++;
if ( version == '12.0(32)S9' ) flag++;
if ( version == '12.0(32)SY' ) flag++;
if ( version == '12.0(32)SY0a' ) flag++;
if ( version == '12.0(32)SY0b' ) flag++;
if ( version == '12.0(32)SY0c' ) flag++;
if ( version == '12.0(32)SY0d' ) flag++;
if ( version == '12.0(32)SY0e' ) flag++;
if ( version == '12.0(32)SY0f' ) flag++;
if ( version == '12.0(32)SY0g' ) flag++;
if ( version == '12.0(32)SY0h' ) flag++;
if ( version == '12.0(32)SY0i' ) flag++;
if ( version == '12.0(32)SY0j' ) flag++;
if ( version == '12.0(32)SY1' ) flag++;
if ( version == '12.0(32)SY10' ) flag++;
if ( version == '12.0(32)SY11' ) flag++;
if ( version == '12.0(32)SY12' ) flag++;
if ( version == '12.0(32)SY12a' ) flag++;
if ( version == '12.0(32)SY13' ) flag++;
if ( version == '12.0(32)SY14' ) flag++;
if ( version == '12.0(32)SY1a' ) flag++;
if ( version == '12.0(32)SY1b' ) flag++;
if ( version == '12.0(32)SY1c' ) flag++;
if ( version == '12.0(32)SY2' ) flag++;
if ( version == '12.0(32)SY2a' ) flag++;
if ( version == '12.0(32)SY2b' ) flag++;
if ( version == '12.0(32)SY2c' ) flag++;
if ( version == '12.0(32)SY2d' ) flag++;
if ( version == '12.0(32)SY2e' ) flag++;
if ( version == '12.0(32)SY2f' ) flag++;
if ( version == '12.0(32)SY2g' ) flag++;
if ( version == '12.0(32)SY2h' ) flag++;
if ( version == '12.0(32)SY2i' ) flag++;
if ( version == '12.0(32)SY3' ) flag++;
if ( version == '12.0(32)SY3a' ) flag++;
if ( version == '12.0(32)SY3b' ) flag++;
if ( version == '12.0(32)SY3c' ) flag++;
if ( version == '12.0(32)SY4' ) flag++;
if ( version == '12.0(32)SY4a' ) flag++;
if ( version == '12.0(32)SY4b' ) flag++;
if ( version == '12.0(32)SY4c' ) flag++;
if ( version == '12.0(32)SY4d' ) flag++;
if ( version == '12.0(32)SY5' ) flag++;
if ( version == '12.0(32)SY5a' ) flag++;
if ( version == '12.0(32)SY6' ) flag++;
if ( version == '12.0(32)SY6a' ) flag++;
if ( version == '12.0(32)SY6b' ) flag++;
if ( version == '12.0(32)SY6c' ) flag++;
if ( version == '12.0(32)SY6d' ) flag++;
if ( version == '12.0(32)SY6e' ) flag++;
if ( version == '12.0(32)SY6f' ) flag++;
if ( version == '12.0(32)SY7' ) flag++;
if ( version == '12.0(32)SY8' ) flag++;
if ( version == '12.0(32)SY8a' ) flag++;
if ( version == '12.0(32)SY8b' ) flag++;
if ( version == '12.0(32)SY9' ) flag++;
if ( version == '12.0(32)SY9a' ) flag++;
if ( version == '12.0(32)SY9b' ) flag++;
if ( version == '12.0(32)SYA' ) flag++;
if ( version == '12.0(32c)S6b' ) flag++;
if ( version == '12.0(33)S' ) flag++;
if ( version == '12.0(33)S1' ) flag++;
if ( version == '12.0(33)S2' ) flag++;
if ( version == '12.0(33)S3' ) flag++;
if ( version == '12.0(33)S4' ) flag++;
if ( version == '12.0(33)S5' ) flag++;
if ( version == '12.0(33)S6' ) flag++;
if ( version == '12.0(33)S7' ) flag++;
if ( version == '12.0(33)S8' ) flag++;
if ( version == '12.0(33)S9' ) flag++;
if ( version == '12.0(3b)' ) flag++;
if ( version == '12.0(3c)' ) flag++;
if ( version == '12.0(3d)' ) flag++;
if ( version == '12.0(4)' ) flag++;
if ( version == '12.0(4)S' ) 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(4a)' ) flag++;
if ( version == '12.0(4b)' ) flag++;
if ( version == '12.0(5)' ) flag++;
if ( version == '12.0(5)S' ) 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)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)XT1' ) flag++;
if ( version == '12.0(5a)' ) flag++;
if ( version == '12.0(6)' ) 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(6a)' ) flag++;
if ( version == '12.0(6b)' ) flag++;
if ( version == '12.0(7)' ) flag++;
if ( version == '12.0(7)S' ) flag++;
if ( version == '12.0(7)S1' ) flag++;
if ( version == '12.0(7)SC' ) 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)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(7a)' ) flag++;
if ( version == '12.0(8)' ) 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(8a)' ) flag++;
if ( version == '12.0(8b)' ) flag++;
if ( version == '12.0(9)' ) 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.0(9a)' ) flag++;
if ( version == '12.1(1)' ) flag++;
if ( version == '12.1(1)E' ) flag++;
if ( version == '12.1(1)E1' ) flag++;
if ( version == '12.1(1)E2' ) 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)T' ) flag++;
if ( version == '12.1(10)' ) 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)EX' ) flag++;
if ( version == '12.1(10)EX1' ) flag++;
if ( version == '12.1(10)EX2' ) flag++;
if ( version == '12.1(10a)' ) flag++;
if ( version == '12.1(11)' ) flag++;
if ( version == '12.1(11)EA1' ) flag++;
if ( version == '12.1(11)EA1a' ) 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)E10' ) 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)E6' ) flag++;
if ( version == '12.1(11b)E7' ) flag++;
if ( version == '12.1(11b)E8' ) flag++;
if ( version == '12.1(11b)E9' ) 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)E4' ) flag++;
if ( version == '12.1(12c)E5' ) flag++;
if ( version == '12.1(12c)E6' ) flag++;
if ( version == '12.1(12c)E7' ) flag++;
if ( version == '12.1(12c)EA1' ) flag++;
if ( version == '12.1(12c)EA1a' ) flag++;
if ( version == '12.1(12c)EC' ) flag++;
if ( version == '12.1(12c)EC1' ) 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(12d)' ) flag++;
if ( version == '12.1(13)' ) 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)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)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)E8' ) flag++;
if ( version == '12.1(14)EA1' ) flag++;
if ( version == '12.1(14)EA1a' ) flag++;
if ( version == '12.1(14)EB' ) flag++;
if ( version == '12.1(14)EB1' ) 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)E1a' ) 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)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)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(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)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)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)EA10' ) flag++;
if ( version == '12.1(22)EA10b' ) flag++;
if ( version == '12.1(22)EA1a' ) 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)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)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)E8' ) flag++;
if ( version == '12.1(26)E9' ) flag++;
if ( version == '12.1(26)EB' ) flag++;
if ( version == '12.1(26)EB1' ) flag++;
if ( version == '12.1(26)EB2' ) 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(27b)E1' ) flag++;
if ( version == '12.1(27b)E2' ) flag++;
if ( version == '12.1(27b)E3' ) flag++;
if ( version == '12.1(27b)E4' ) flag++;
if ( version == '12.1(2a)' ) flag++;
if ( version == '12.1(2a)T1' ) flag++;
if ( version == '12.1(2a)T2' ) flag++;
if ( version == '12.1(2b)' ) flag++;
if ( version == '12.1(3)' ) flag++;
if ( version == '12.1(3)T' ) flag++;
if ( version == '12.1(3)XI' ) 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(3b)' ) flag++;
if ( version == '12.1(4)E' ) flag++;
if ( version == '12.1(4)E1' ) flag++;
if ( version == '12.1(4)E3' ) flag++;
if ( version == '12.1(4)EC' ) 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)EC' ) flag++;
if ( version == '12.1(5)EC1' ) 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)T13' ) 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)T8c' ) 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)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(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)E' ) flag++;
if ( version == '12.1(6)E1' ) flag++;
if ( version == '12.1(6)E11' ) flag++;
if ( version == '12.1(6)E12' ) flag++;
if ( version == '12.1(6)E13' ) flag++;
if ( version == '12.1(6)E2' ) flag++;
if ( version == '12.1(6)E3' ) flag++;
if ( version == '12.1(6)E4' ) flag++;
if ( version == '12.1(6)E5' ) flag++;
if ( version == '12.1(6)E6' ) flag++;
if ( version == '12.1(6)E8' ) flag++;
if ( version == '12.1(6)E9' ) 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(6a)' ) flag++;
if ( version == '12.1(6b)' ) flag++;
if ( version == '12.1(7)' ) 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(7b)' ) flag++;
if ( version == '12.1(7c)' ) flag++;
if ( version == '12.1(8)' ) 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)E3' ) 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)E13' ) flag++;
if ( version == '12.1(8b)E14' ) flag++;
if ( version == '12.1(8b)E15' ) flag++;
if ( version == '12.1(8b)E16' ) 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(8c)' ) flag++;
if ( version == '12.1(9)' ) flag++;
if ( version == '12.1(9)E' ) flag++;
if ( version == '12.1(9)E1' ) 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)DA4' ) flag++;
if ( version == '12.2(10)DA5' ) flag++;
if ( version == '12.2(10)DA6' ) flag++;
if ( version == '12.2(10)DA7' ) flag++;
if ( version == '12.2(10)DA8' ) flag++;
if ( version == '12.2(10)DA9' ) flag++;
if ( version == '12.2(10a)' ) flag++;
if ( version == '12.2(10b)' ) flag++;
if ( version == '12.2(10c)' ) 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)S' ) flag++;
if ( version == '12.2(11)S1' ) flag++;
if ( version == '12.2(11)S2' ) flag++;
if ( version == '12.2(11)S3' ) 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)T7' ) flag++;
if ( version == '12.2(11)T8' ) flag++;
if ( version == '12.2(11)T9' ) flag++;
if ( version == '12.2(11)YP1' ) flag++;
if ( version == '12.2(11)YP2' ) flag++;
if ( version == '12.2(11)YP3' ) flag++;
if ( version == '12.2(11)YP4' ) flag++;
if ( version == '12.2(11)YP5' ) 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)YX' ) flag++;
if ( version == '12.2(11)YX1' ) 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)YZ3' ) 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)DA11' ) flag++;
if ( version == '12.2(12)DA12' ) flag++;
if ( version == '12.2(12)DA13' ) 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(12d)' ) 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)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)T15' ) flag++;
if ( version == '12.2(13)T16' ) flag++;
if ( version == '12.2(13)T17' ) 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)T6' ) flag++;
if ( version == '12.2(13)T7' ) flag++;
if ( version == '12.2(13)T8' ) flag++;
if ( version == '12.2(13)T8a' ) 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)ZH10' ) 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)ZH9' ) 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(13)ZT' ) flag++;
if ( version == '12.2(13a)' ) flag++;
if ( version == '12.2(13b)' ) flag++;
if ( version == '12.2(13b)M1' ) flag++;
if ( version == '12.2(13b)M2' ) 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)S11a' ) flag++;
if ( version == '12.2(14)S11b' ) flag++;
if ( version == '12.2(14)S12' ) flag++;
if ( version == '12.2(14)S13' ) flag++;
if ( version == '12.2(14)S13a' ) flag++;
if ( version == '12.2(14)S13b' ) 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)S18' ) flag++;
if ( version == '12.2(14)S19' ) flag++;
if ( version == '12.2(14)S2' ) flag++;
if ( version == '12.2(14)S3' ) flag++;
if ( version == '12.2(14)S4' ) flag++;
if ( version == '12.2(14)S5' ) flag++;
if ( version == '12.2(14)S6' ) 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)S9a' ) flag++;
if ( version == '12.2(14)S9b' ) flag++;
if ( version == '12.2(14)S9c' ) flag++;
if ( version == '12.2(14)SU' ) flag++;
if ( version == '12.2(14)SU1' ) flag++;
if ( version == '12.2(14)SU2' ) flag++;
if ( version == '12.2(14)SX' ) flag++;
if ( version == '12.2(14)SX1' ) flag++;
if ( version == '12.2(14)SX1a' ) flag++;
if ( version == '12.2(14)SX2' ) flag++;
if ( version == '12.2(14)SY' ) flag++;
if ( version == '12.2(14)SY1' ) flag++;
if ( version == '12.2(14)SY2' ) flag++;
if ( version == '12.2(14)SY3' ) flag++;
if ( version == '12.2(14)SY4' ) flag++;
if ( version == '12.2(14)SY5' ) 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)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)B1' ) 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)BZ' ) flag++;
if ( version == '12.2(15)BZ1' ) 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)CZ' ) flag++;
if ( version == '12.2(15)CZ1' ) flag++;
if ( version == '12.2(15)CZ2' ) flag++;
if ( version == '12.2(15)CZ3' ) 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)MC2h' ) flag++;
if ( version == '12.2(15)MC2i' ) flag++;
if ( version == '12.2(15)MC2j' ) flag++;
if ( version == '12.2(15)MC2k' ) flag++;
if ( version == '12.2(15)MC2l' ) flag++;
if ( version == '12.2(15)MC2m' ) 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)T12a' ) 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)T17' ) flag++;
if ( version == '12.2(15)T1a' ) flag++;
if ( version == '12.2(15)T2' ) flag++;
if ( version == '12.2(15)T3' ) flag++;
if ( version == '12.2(15)T4' ) flag++;
if ( version == '12.2(15)T4a' ) flag++;
if ( version == '12.2(15)T4c' ) flag++;
if ( version == '12.2(15)T4d' ) flag++;
if ( version == '12.2(15)T4e' ) flag++;
if ( version == '12.2(15)T5' ) flag++;
if ( version == '12.2(15)T5a' ) flag++;
if ( version == '12.2(15)T6' ) 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)T9a' ) flag++;
if ( version == '12.2(15)T9b' ) 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)ZJ4' ) flag++;
if ( version == '12.2(15)ZJ5' ) flag++;
if ( version == '12.2(15)ZK' ) flag++;
if ( version == '12.2(15)ZK1' ) flag++;
if ( version == '12.2(15)ZK2' ) flag++;
if ( version == '12.2(15)ZK3' ) flag++;
if ( version == '12.2(15)ZK4' ) flag++;
if ( version == '12.2(15)ZK5' ) flag++;
if ( version == '12.2(15)ZK6' ) flag++;
if ( version == '12.2(15)ZL' ) flag++;
if ( version == '12.2(15)ZL1' ) flag++;
if ( version == '12.2(15)ZN' ) flag++;
if ( version == '12.2(15)ZO' ) flag++;
if ( version == '12.2(15)ZR' ) flag++;
if ( version == '12.2(15)ZS1' ) flag++;
if ( version == '12.2(15)ZS2' ) flag++;
if ( version == '12.2(15)ZS3' ) flag++;
if ( version == '12.2(15)ZS4' ) flag++;
if ( version == '12.2(15)ZS5' ) 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)B3' ) 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)SXA1' ) 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)EW7' ) flag++;
if ( version == '12.2(18)IXA' ) flag++;
if ( version == '12.2(18)IXB' ) flag++;
if ( version == '12.2(18)IXB1' ) flag++;
if ( version == '12.2(18)IXB2' ) flag++;
if ( version == '12.2(18)IXC' ) flag++;
if ( version == '12.2(18)IXD' ) flag++;
if ( version == '12.2(18)IXD1' ) flag++;
if ( version == '12.2(18)IXE' ) flag++;
if ( version == '12.2(18)IXF' ) flag++;
if ( version == '12.2(18)IXF1' ) flag++;
if ( version == '12.2(18)IXG' ) flag++;
if ( version == '12.2(18)IXH' ) flag++;
if ( version == '12.2(18)IXH1' ) flag++;
if ( version == '12.2(18)S' ) flag++;
if ( version == '12.2(18)S0a' ) 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)S13' ) 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)SO' ) 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)SO7' ) 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)SXD7a' ) flag++;
if ( version == '12.2(18)SXD7b' ) 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)SXE6a' ) flag++;
if ( version == '12.2(18)SXE6b' ) flag++;
if ( version == '12.2(18)SXF' ) flag++;
if ( version == '12.2(18)SXF1' ) flag++;
if ( version == '12.2(18)SXF10' ) flag++;
if ( version == '12.2(18)SXF10a' ) flag++;
if ( version == '12.2(18)SXF11' ) flag++;
if ( version == '12.2(18)SXF12' ) flag++;
if ( version == '12.2(18)SXF12a' ) flag++;
if ( version == '12.2(18)SXF13' ) flag++;
if ( version == '12.2(18)SXF13a' ) flag++;
if ( version == '12.2(18)SXF13b' ) flag++;
if ( version == '12.2(18)SXF14' ) flag++;
if ( version == '12.2(18)SXF15' ) flag++;
if ( version == '12.2(18)SXF15a' ) flag++;
if ( version == '12.2(18)SXF16' ) flag++;
if ( version == '12.2(18)SXF17' ) flag++;
if ( version == '12.2(18)SXF17a' ) flag++;
if ( version == '12.2(18)SXF17b' ) 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)SXF6' ) flag++;
if ( version == '12.2(18)SXF7' ) flag++;
if ( version == '12.2(18)SXF8' ) flag++;
if ( version == '12.2(18)SXF9' ) flag++;
if ( version == '12.2(18)ZU' ) flag++;
if ( version == '12.2(18)ZU1' ) flag++;
if ( version == '12.2(18)ZU2' ) flag++;
if ( version == '12.2(18)ZY' ) flag++;
if ( version == '12.2(18)ZY1' ) flag++;
if ( version == '12.2(18)ZY2' ) flag++;
if ( version == '12.2(18)ZYA' ) flag++;
if ( version == '12.2(18)ZYA1' ) flag++;
if ( version == '12.2(18)ZYA2' ) flag++;
if ( version == '12.2(18)ZYA3' ) flag++;
if ( version == '12.2(18)ZYA3a' ) flag++;
if ( version == '12.2(18)ZYA3b' ) flag++;
if ( version == '12.2(18)ZYA3c' ) 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(1a)XC4' ) flag++;
if ( version == '12.2(1a)XC5' ) 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)BX2' ) 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)DX' ) flag++;
if ( version == '12.2(2)DX1' ) flag++;
if ( version == '12.2(2)DX2' ) 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)XB16' ) flag++;
if ( version == '12.2(2)XB17' ) flag++;
if ( version == '12.2(2)XB18' ) flag++;
if ( version == '12.2(2)XB2' ) flag++;
if ( version == '12.2(2)XB3' ) flag++;
if ( version == '12.2(2)XB4' ) flag++;
if ( version == '12.2(2)XB4b' ) 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)XB9' ) 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)XC3' ) flag++;
if ( version == '12.2(2)XC4' ) flag++;
if ( version == '12.2(2)XC5' ) flag++;
if ( version == '12.2(2)XC6' ) flag++;
if ( version == '12.2(2)XC7' ) 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)XU2' ) flag++;
if ( version == '12.2(2)XU3' ) flag++;
if ( version == '12.2(2)XU4' ) 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)EW4' ) 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)EWA3' ) flag++;
if ( version == '12.2(20)EWA4' ) 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)S13' ) flag++;
if ( version == '12.2(20)S14' ) flag++;
if ( version == '12.2(20)S2' ) flag++;
if ( version == '12.2(20)S2a' ) flag++;
if ( version == '12.2(20)S3' ) flag++;
if ( version == '12.2(20)S4' ) flag++;
if ( version == '12.2(20)S4a' ) flag++;
if ( version == '12.2(20)S5' ) flag++;
if ( version == '12.2(20)S6' ) flag++;
if ( version == '12.2(20)S6a' ) 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)S9a' ) flag++;
if ( version == '12.2(20)S9b' ) 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(21)ZQ' ) flag++;
if ( version == '12.2(21)ZQ1' ) flag++;
if ( version == '12.2(21)ZQ2' ) flag++;
if ( version == '12.2(21)ZQ3' ) 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)SV1' ) flag++;
if ( version == '12.2(23)' ) 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(23b)' ) flag++;
if ( version == '12.2(23c)' ) flag++;
if ( version == '12.2(23c)M0' ) 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)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)EWA10' ) flag++;
if ( version == '12.2(25)EWA11' ) flag++;
if ( version == '12.2(25)EWA12' ) flag++;
if ( version == '12.2(25)EWA13' ) flag++;
if ( version == '12.2(25)EWA14' ) 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)EWA7' ) flag++;
if ( version == '12.2(25)EWA8' ) flag++;
if ( version == '12.2(25)EWA9' ) 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)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)S11' ) flag++;
if ( version == '12.2(25)S12' ) flag++;
if ( version == '12.2(25)S13' ) flag++;
if ( version == '12.2(25)S14' ) flag++;
if ( version == '12.2(25)S15' ) 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)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)SEE3' ) flag++;
if ( version == '12.2(25)SEE4' ) flag++;
if ( version == '12.2(25)SEG' ) flag++;
if ( version == '12.2(25)SEG1' ) flag++;
if ( version == '12.2(25)SEG3' ) flag++;
if ( version == '12.2(25)SG' ) flag++;
if ( version == '12.2(25)SG1' ) flag++;
if ( version == '12.2(25)SG2' ) flag++;
if ( version == '12.2(25)SG3' ) flag++;
if ( version == '12.2(25)SG4' ) flag++;
if ( version == '12.2(25)SV2' ) flag++;
if ( version == '12.2(25)SW1' ) flag++;
if ( version == '12.2(25)SW10' ) flag++;
if ( version == '12.2(25)SW11' ) flag++;
if ( version == '12.2(25)SW12' ) 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(25)SW6' ) flag++;
if ( version == '12.2(25)SW7' ) flag++;
if ( version == '12.2(25)SW8' ) flag++;
if ( version == '12.2(25)SW9' ) flag++;
if ( version == '12.2(26)' ) flag++;
if ( version == '12.2(26a)' ) flag++;
if ( version == '12.2(26b)' ) flag++;
if ( version == '12.2(26c)' ) flag++;
if ( version == '12.2(27)' ) flag++;
if ( version == '12.2(27)SBA' ) flag++;
if ( version == '12.2(27)SBA1' ) flag++;
if ( version == '12.2(27)SBA2' ) flag++;
if ( version == '12.2(27)SBA4' ) flag++;
if ( version == '12.2(27)SBA5' ) flag++;
if ( version == '12.2(27)SBA6' ) flag++;
if ( version == '12.2(27)SBB' ) flag++;
if ( version == '12.2(27)SBB1' ) flag++;
if ( version == '12.2(27)SBB2' ) flag++;
if ( version == '12.2(27)SBB2a' ) flag++;
if ( version == '12.2(27)SBB3' ) flag++;
if ( version == '12.2(27)SBB4' ) flag++;
if ( version == '12.2(27)SBB4a' ) flag++;
if ( version == '12.2(27)SBB4b' ) flag++;
if ( version == '12.2(27)SBB4c' ) flag++;
if ( version == '12.2(27)SBB4d' ) flag++;
if ( version == '12.2(27)SBB5' ) flag++;
if ( version == '12.2(27)SBB6' ) flag++;
if ( version == '12.2(27)SBB6a' ) flag++;
if ( version == '12.2(27)SBB7' ) flag++;
if ( version == '12.2(27)SBB8' ) flag++;
if ( version == '12.2(27)SBB9' ) 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(27)SV5' ) flag++;
if ( version == '12.2(27)UZ' ) flag++;
if ( version == '12.2(27)UZ1' ) flag++;
if ( version == '12.2(27a)' ) flag++;
if ( version == '12.2(27b)' ) flag++;
if ( version == '12.2(27c)' ) 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)SB10' ) flag++;
if ( version == '12.2(28)SB11' ) flag++;
if ( version == '12.2(28)SB12' ) flag++;
if ( version == '12.2(28)SB13' ) flag++;
if ( version == '12.2(28)SB2' ) flag++;
if ( version == '12.2(28)SB3' ) flag++;
if ( version == '12.2(28)SB4' ) flag++;
if ( version == '12.2(28)SB4a' ) flag++;
if ( version == '12.2(28)SB4b' ) flag++;
if ( version == '12.2(28)SB4c' ) flag++;
if ( version == '12.2(28)SB5' ) flag++;
if ( version == '12.2(28)SB5a' ) flag++;
if ( version == '12.2(28)SB5b' ) flag++;
if ( version == '12.2(28)SB6' ) flag++;
if ( version == '12.2(28)SB7' ) flag++;
if ( version == '12.2(28)SB8' ) flag++;
if ( version == '12.2(28)SB9' ) flag++;
if ( version == '12.2(28)SV' ) flag++;
if ( version == '12.2(28)SV1' ) flag++;
if ( version == '12.2(28)SV2' ) flag++;
if ( version == '12.2(28)ZV' ) flag++;
if ( version == '12.2(28)ZV1' ) flag++;
if ( version == '12.2(28)ZX' ) flag++;
if ( version == '12.2(28a)' ) flag++;
if ( version == '12.2(28a)ZV1' ) flag++;
if ( version == '12.2(28b)' ) flag++;
if ( version == '12.2(28c)' ) flag++;
if ( version == '12.2(28d)' ) 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)SM2' ) flag++;
if ( version == '12.2(29)SM3' ) flag++;
if ( version == '12.2(29)SM4' ) flag++;
if ( version == '12.2(29)SM5' ) flag++;
if ( version == '12.2(29)SM6' ) flag++;
if ( version == '12.2(29)SM7' ) flag++;
if ( version == '12.2(29)SV3' ) flag++;
if ( version == '12.2(29)SVA2' ) flag++;
if ( version == '12.2(29)SVC' ) flag++;
if ( version == '12.2(29)SVD' ) flag++;
if ( version == '12.2(29)SVD0' ) flag++;
if ( version == '12.2(29)SVD1' ) flag++;
if ( version == '12.2(29)SVE0' ) flag++;
if ( version == '12.2(29a)' ) flag++;
if ( version == '12.2(29a)SV' ) flag++;
if ( version == '12.2(29a)SV1' ) flag++;
if ( version == '12.2(29b)' ) flag++;
if ( version == '12.2(29b)SV' ) flag++;
if ( version == '12.2(29b)SV1' ) flag++;
if ( version == '12.2(3)' ) flag++;
if ( version == '12.2(31)' ) flag++;
if ( version == '12.2(31)SB' ) flag++;
if ( version == '12.2(31)SB1' ) flag++;
if ( version == '12.2(31)SB10' ) flag++;
if ( version == '12.2(31)SB10a' ) flag++;
if ( version == '12.2(31)SB10b' ) flag++;
if ( version == '12.2(31)SB10c' ) flag++;
if ( version == '12.2(31)SB10d' ) flag++;
if ( version == '12.2(31)SB10e' ) flag++;
if ( version == '12.2(31)SB11' ) flag++;
if ( version == '12.2(31)SB11a' ) flag++;
if ( version == '12.2(31)SB11b' ) flag++;
if ( version == '12.2(31)SB12' ) flag++;
if ( version == '12.2(31)SB12a' ) flag++;
if ( version == '12.2(31)SB13' ) flag++;
if ( version == '12.2(31)SB14' ) flag++;
if ( version == '12.2(31)SB15' ) flag++;
if ( version == '12.2(31)SB16' ) flag++;
if ( version == '12.2(31)SB17' ) flag++;
if ( version == '12.2(31)SB18' ) flag++;
if ( version == '12.2(31)SB19' ) flag++;
if ( version == '12.2(31)SB1a' ) flag++;
if ( version == '12.2(31)SB1b' ) flag++;
if ( version == '12.2(31)SB1c' ) flag++;
if ( version == '12.2(31)SB1d' ) flag++;
if ( version == '12.2(31)SB1e' ) flag++;
if ( version == '12.2(31)SB1f' ) flag++;
if ( version == '12.2(31)SB1g' ) flag++;
if ( version == '12.2(31)SB2' ) flag++;
if ( version == '12.2(31)SB20' ) flag++;
if ( version == '12.2(31)SB21' ) flag++;
if ( version == '12.2(31)SB2a' ) flag++;
if ( version == '12.2(31)SB3' ) flag++;
if ( version == '12.2(31)SB3a' ) flag++;
if ( version == '12.2(31)SB3b' ) flag++;
if ( version == '12.2(31)SB3c' ) flag++;
if ( version == '12.2(31)SB3x' ) flag++;
if ( version == '12.2(31)SB4' ) flag++;
if ( version == '12.2(31)SB4a' ) flag++;
if ( version == '12.2(31)SB5' ) flag++;
if ( version == '12.2(31)SB5a' ) flag++;
if ( version == '12.2(31)SB6' ) flag++;
if ( version == '12.2(31)SB7' ) flag++;
if ( version == '12.2(31)SB8' ) flag++;
if ( version == '12.2(31)SB8a' ) flag++;
if ( version == '12.2(31)SB9' ) flag++;
if ( version == '12.2(31)SB9a' ) flag++;
if ( version == '12.2(31)SB9b' ) flag++;
if ( version == '12.2(31)SG' ) flag++;
if ( version == '12.2(31)SG1' ) flag++;
if ( version == '12.2(31)SG2' ) flag++;
if ( version == '12.2(31)SG3' ) flag++;
if ( version == '12.2(31)SGA' ) flag++;
if ( version == '12.2(31)SGA1' ) flag++;
if ( version == '12.2(31)SGA10' ) flag++;
if ( version == '12.2(31)SGA11' ) flag++;
if ( version == '12.2(31)SGA2' ) flag++;
if ( version == '12.2(31)SGA3' ) flag++;
if ( version == '12.2(31)SGA4' ) flag++;
if ( version == '12.2(31)SGA5' ) flag++;
if ( version == '12.2(31)SGA6' ) flag++;
if ( version == '12.2(31)SGA7' ) flag++;
if ( version == '12.2(31)SGA8' ) flag++;
if ( version == '12.2(31)SGA9' ) flag++;
if ( version == '12.2(31)XN' ) flag++;
if ( version == '12.2(31)XN1' ) flag++;
if ( version == '12.2(31)XN2' ) flag++;
if ( version == '12.2(31)XN3' ) flag++;
if ( version == '12.2(31)ZV' ) flag++;
if ( version == '12.2(31)ZV0a' ) flag++;
if ( version == '12.2(31)ZV0b' ) flag++;
if ( version == '12.2(31)ZV0c' ) flag++;
if ( version == '12.2(31)ZV0d' ) flag++;
if ( version == '12.2(31)ZV0e' ) flag++;
if ( version == '12.2(31)ZV0f' ) flag++;
if ( version == '12.2(31)ZV0g' ) flag++;
if ( version == '12.2(31)ZV0h' ) flag++;
if ( version == '12.2(31)ZV0i' ) flag++;
if ( version == '12.2(31)ZV0j' ) flag++;
if ( version == '12.2(31)ZV1a' ) flag++;
if ( version == '12.2(31)ZV1b' ) flag++;
if ( version == '12.2(31)ZV1c' ) flag++;
if ( version == '12.2(31)ZV2' ) flag++;
if ( version == '12.2(31)ZV2a' ) flag++;
if ( version == '12.2(31)ZV2d' ) flag++;
if ( version == '12.2(31a)XN2' ) flag++;
if ( version == '12.2(31a)XN3' ) flag++;
if ( version == '12.2(31b)XN2' ) flag++;
if ( version == '12.2(31b)XN3' ) flag++;
if ( version == '12.2(31c)XN2' ) flag++;
if ( version == '12.2(31c)XN3' ) flag++;
if ( version == '12.2(32)' ) flag++;
if ( version == '12.2(33)IRA' ) flag++;
if ( version == '12.2(33)IRB' ) flag++;
if ( version == '12.2(33)IRC' ) flag++;
if ( version == '12.2(33)IRD' ) flag++;
if ( version == '12.2(33)IRE' ) flag++;
if ( version == '12.2(33)IRE1' ) flag++;
if ( version == '12.2(33)IRE2' ) flag++;
if ( version == '12.2(33)IRF' ) flag++;
if ( version == '12.2(33)IRG' ) flag++;
if ( version == '12.2(33)IRG1' ) flag++;
if ( version == '12.2(33)IRH' ) flag++;
if ( version == '12.2(33)MRA' ) flag++;
if ( version == '12.2(33)MRB' ) flag++;
if ( version == '12.2(33)MRB1' ) flag++;
if ( version == '12.2(33)MRB2' ) flag++;
if ( version == '12.2(33)MRB3' ) flag++;
if ( version == '12.2(33)MRB4' ) flag++;
if ( version == '12.2(33)MRB5' ) flag++;
if ( version == '12.2(33)MRB6' ) flag++;
if ( version == '12.2(33)SB' ) flag++;
if ( version == '12.2(33)SB1' ) flag++;
if ( version == '12.2(33)SB10' ) flag++;
if ( version == '12.2(33)SB11' ) flag++;
if ( version == '12.2(33)SB1a' ) flag++;
if ( version == '12.2(33)SB1b' ) flag++;
if ( version == '12.2(33)SB2' ) flag++;
if ( version == '12.2(33)SB3' ) flag++;
if ( version == '12.2(33)SB4' ) flag++;
if ( version == '12.2(33)SB5' ) flag++;
if ( version == '12.2(33)SB6' ) flag++;
if ( version == '12.2(33)SB6a' ) flag++;
if ( version == '12.2(33)SB6aa' ) flag++;
if ( version == '12.2(33)SB6b' ) flag++;
if ( version == '12.2(33)SB7' ) flag++;
if ( version == '12.2(33)SB8' ) flag++;
if ( version == '12.2(33)SB8b' ) flag++;
if ( version == '12.2(33)SB8c' ) flag++;
if ( version == '12.2(33)SB8d' ) flag++;
if ( version == '12.2(33)SB8e' ) flag++;
if ( version == '12.2(33)SB8f' ) flag++;
if ( version == '12.2(33)SB9' ) flag++;
if ( version == '12.2(33)SCA' ) flag++;
if ( version == '12.2(33)SCA1' ) flag++;
if ( version == '12.2(33)SCA2' ) flag++;
if ( version == '12.2(33)SCB' ) flag++;
if ( version == '12.2(33)SCB1' ) flag++;
if ( version == '12.2(33)SCB10' ) flag++;
if ( version == '12.2(33)SCB11' ) flag++;
if ( version == '12.2(33)SCB2' ) flag++;
if ( version == '12.2(33)SCB3' ) flag++;
if ( version == '12.2(33)SCB4' ) flag++;
if ( version == '12.2(33)SCB5' ) flag++;
if ( version == '12.2(33)SCB6' ) flag++;
if ( version == '12.2(33)SCB7' ) flag++;
if ( version == '12.2(33)SCB8' ) flag++;
if ( version == '12.2(33)SCB9' ) flag++;
if ( version == '12.2(33)SCC' ) flag++;
if ( version == '12.2(33)SCC1' ) flag++;
if ( version == '12.2(33)SCC2' ) flag++;
if ( version == '12.2(33)SCC3' ) flag++;
if ( version == '12.2(33)SCC4' ) flag++;
if ( version == '12.2(33)SCC5' ) flag++;
if ( version == '12.2(33)SCC6' ) flag++;
if ( version == '12.2(33)SCC7' ) flag++;
if ( version == '12.2(33)SCD' ) flag++;
if ( version == '12.2(33)SCD1' ) flag++;
if ( version == '12.2(33)SCD2' ) flag++;
if ( version == '12.2(33)SCD3' ) flag++;
if ( version == '12.2(33)SCD4' ) flag++;
if ( version == '12.2(33)SCD5' ) flag++;
if ( version == '12.2(33)SCD6' ) flag++;
if ( version == '12.2(33)SCD7' ) flag++;
if ( version == '12.2(33)SCD8' ) flag++;
if ( version == '12.2(33)SCE' ) flag++;
if ( version == '12.2(33)SCE1' ) flag++;
if ( version == '12.2(33)SCE2' ) flag++;
if ( version == '12.2(33)SCE3' ) flag++;
if ( version == '12.2(33)SCE4' ) flag++;
if ( version == '12.2(33)SCF' ) flag++;
if ( version == '12.2(33)SCF1' ) flag++;
if ( version == '12.2(33)SRA' ) flag++;
if ( version == '12.2(33)SRA1' ) flag++;
if ( version == '12.2(33)SRA2' ) flag++;
if ( version == '12.2(33)SRA3' ) flag++;
if ( version == '12.2(33)SRA4' ) flag++;
if ( version == '12.2(33)SRA5' ) flag++;
if ( version == '12.2(33)SRA6' ) flag++;
if ( version == '12.2(33)SRA7' ) flag++;
if ( version == '12.2(33)SRB' ) flag++;
if ( version == '12.2(33)SRB1' ) flag++;
if ( version == '12.2(33)SRB2' ) flag++;
if ( version == '12.2(33)SRB3' ) flag++;
if ( version == '12.2(33)SRB4' ) flag++;
if ( version == '12.2(33)SRB5' ) flag++;
if ( version == '12.2(33)SRB5a' ) flag++;
if ( version == '12.2(33)SRB6' ) flag++;
if ( version == '12.2(33)SRB7' ) flag++;
if ( version == '12.2(33)SRC' ) flag++;
if ( version == '12.2(33)SRC1' ) flag++;
if ( version == '12.2(33)SRC2' ) flag++;
if ( version == '12.2(33)SRC3' ) flag++;
if ( version == '12.2(33)SRC4' ) flag++;
if ( version == '12.2(33)SRC5' ) flag++;
if ( version == '12.2(33)SRC6' ) flag++;
if ( version == '12.2(33)SRD' ) flag++;
if ( version == '12.2(33)SRD1' ) flag++;
if ( version == '12.2(33)SRD2' ) flag++;
if ( version == '12.2(33)SRD2a' ) flag++;
if ( version == '12.2(33)SRD3' ) flag++;
if ( version == '12.2(33)SRD4' ) flag++;
if ( version == '12.2(33)SRD4a' ) flag++;
if ( version == '12.2(33)SRD5' ) flag++;
if ( version == '12.2(33)SRD6' ) flag++;
if ( version == '12.2(33)SRD7' ) flag++;
if ( version == '12.2(33)SRE' ) flag++;
if ( version == '12.2(33)SRE0a' ) flag++;
if ( version == '12.2(33)SRE1' ) flag++;
if ( version == '12.2(33)SRE2' ) flag++;
if ( version == '12.2(33)SRE3' ) flag++;
if ( version == '12.2(33)SRE4' ) flag++;
if ( version == '12.2(33)SXH' ) flag++;
if ( version == '12.2(33)SXH0a' ) flag++;
if ( version == '12.2(33)SXH1' ) flag++;
if ( version == '12.2(33)SXH2' ) flag++;
if ( version == '12.2(33)SXH2a' ) flag++;
if ( version == '12.2(33)SXH3' ) flag++;
if ( version == '12.2(33)SXH3a' ) flag++;
if ( version == '12.2(33)SXH4' ) flag++;
if ( version == '12.2(33)SXH5' ) flag++;
if ( version == '12.2(33)SXH6' ) flag++;
if ( version == '12.2(33)SXH7' ) flag++;
if ( version == '12.2(33)SXH7v' ) flag++;
if ( version == '12.2(33)SXH7w' ) flag++;
if ( version == '12.2(33)SXH8' ) flag++;
if ( version == '12.2(33)SXH8a' ) flag++;
if ( version == '12.2(33)SXH8b' ) flag++;
if ( version == '12.2(33)SXI' ) flag++;
if ( version == '12.2(33)SXI1' ) flag++;
if ( version == '12.2(33)SXI2' ) flag++;
if ( version == '12.2(33)SXI2a' ) flag++;
if ( version == '12.2(33)SXI3' ) flag++;
if ( version == '12.2(33)SXI3a' ) flag++;
if ( version == '12.2(33)SXI3z' ) flag++;
if ( version == '12.2(33)SXI4' ) flag++;
if ( version == '12.2(33)SXI4a' ) flag++;
if ( version == '12.2(33)SXI5' ) flag++;
if ( version == '12.2(33)SXI5a' ) flag++;
if ( version == '12.2(33)SXI6' ) flag++;
if ( version == '12.2(33)SXI7' ) flag++;
if ( version == '12.2(33)SXI8' ) flag++;
if ( version == '12.2(33)SXI8a' ) flag++;
if ( version == '12.2(33)SXJ' ) flag++;
if ( version == '12.2(33)SXJ1' ) flag++;
if ( version == '12.2(33)XN' ) flag++;
if ( version == '12.2(33)XN1' ) flag++;
if ( version == '12.2(33)XNA2' ) flag++;
if ( version == '12.2(33)XNB' ) flag++;
if ( version == '12.2(33)XNB1' ) flag++;
if ( version == '12.2(33)XNB2' ) flag++;
if ( version == '12.2(33)XNB3' ) flag++;
if ( version == '12.2(33)XNC' ) flag++;
if ( version == '12.2(33)XNC0b' ) flag++;
if ( version == '12.2(33)XNC0c' ) flag++;
if ( version == '12.2(33)XNC0e' ) flag++;
if ( version == '12.2(33)XNC1' ) flag++;
if ( version == '12.2(33)XNC2' ) flag++;
if ( version == '12.2(33)XND' ) flag++;
if ( version == '12.2(33)XND1' ) flag++;
if ( version == '12.2(33)XND2' ) flag++;
if ( version == '12.2(33)XND2t' ) flag++;
if ( version == '12.2(33)XND3' ) flag++;
if ( version == '12.2(33)XND4' ) flag++;
if ( version == '12.2(33)XNE' ) flag++;
if ( version == '12.2(33)XNE1' ) flag++;
if ( version == '12.2(33)XNE1xb' ) flag++;
if ( version == '12.2(33)XNE2' ) flag++;
if ( version == '12.2(33)XNE3' ) flag++;
if ( version == '12.2(33)XNF' ) flag++;
if ( version == '12.2(33)XNF1' ) flag++;
if ( version == '12.2(33)XNF2' ) flag++;
if ( version == '12.2(33)ZI' ) flag++;
if ( version == '12.2(33)ZW' ) flag++;
if ( version == '12.2(33)ZZ' ) flag++;
if ( version == '12.2(34)' ) flag++;
if ( version == '12.2(34)SB1' ) flag++;
if ( version == '12.2(34)SB2' ) flag++;
if ( version == '12.2(34)SB3' ) flag++;
if ( version == '12.2(34)SB4' ) flag++;
if ( version == '12.2(34)SB4a' ) flag++;
if ( version == '12.2(34)SB4b' ) flag++;
if ( version == '12.2(34)SB4c' ) flag++;
if ( version == '12.2(34)SB4d' ) flag++;
if ( version == '12.2(34a)' ) flag++;
if ( version == '12.2(35)SE' ) flag++;
if ( version == '12.2(35)SE1' ) flag++;
if ( version == '12.2(35)SE2' ) flag++;
if ( version == '12.2(35)SE3' ) flag++;
if ( version == '12.2(35)SE4' ) flag++;
if ( version == '12.2(35)SE5' ) flag++;
if ( version == '12.2(37)' ) flag++;
if ( version == '12.2(37)SE' ) flag++;
if ( version == '12.2(37)SE1' ) flag++;
if ( version == '12.2(37)SG' ) flag++;
if ( version == '12.2(37)SG1' ) 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(3e)' ) flag++;
if ( version == '12.2(3f)' ) 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)B7a' ) 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)BX' ) flag++;
if ( version == '12.2(4)BX1' ) flag++;
if ( version == '12.2(4)BX1a' ) flag++;
if ( version == '12.2(4)BX1b' ) flag++;
if ( version == '12.2(4)BX1c' ) flag++;
if ( version == '12.2(4)BX1d' ) flag++;
if ( version == '12.2(4)BX2' ) flag++;
if ( version == '12.2(4)BY' ) flag++;
if ( version == '12.2(4)BY1' ) flag++;
if ( version == '12.2(4)BZ' ) flag++;
if ( version == '12.2(4)BZ1' ) flag++;
if ( version == '12.2(4)BZ2' ) 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)MX' ) flag++;
if ( version == '12.2(4)MX1' ) flag++;
if ( version == '12.2(4)MX2' ) 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)T4' ) 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)XZ' ) flag++;
if ( version == '12.2(4)XZ1' ) flag++;
if ( version == '12.2(4)XZ2' ) flag++;
if ( version == '12.2(4)XZ3' ) flag++;
if ( version == '12.2(4)XZ4' ) flag++;
if ( version == '12.2(4)XZ5' ) flag++;
if ( version == '12.2(4)XZ6' ) flag++;
if ( version == '12.2(4)XZ7' ) 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)YA12' ) 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(40)' ) flag++;
if ( version == '12.2(40)EX' ) flag++;
if ( version == '12.2(40)EX1' ) flag++;
if ( version == '12.2(40)EX2' ) flag++;
if ( version == '12.2(40)EX3' ) flag++;
if ( version == '12.2(40)SE' ) flag++;
if ( version == '12.2(40)SE1' ) flag++;
if ( version == '12.2(40)SG' ) flag++;
if ( version == '12.2(40)XO' ) flag++;
if ( version == '12.2(40a)' ) flag++;
if ( version == '12.2(44)EY' ) flag++;
if ( version == '12.2(44)SE' ) flag++;
if ( version == '12.2(44)SE1' ) flag++;
if ( version == '12.2(44)SE2' ) flag++;
if ( version == '12.2(44)SE3' ) flag++;
if ( version == '12.2(44)SE4' ) flag++;
if ( version == '12.2(44)SE5' ) flag++;
if ( version == '12.2(44)SE6' ) flag++;
if ( version == '12.2(44)SG' ) flag++;
if ( version == '12.2(44)SG1' ) flag++;
if ( version == '12.2(44)SQ' ) flag++;
if ( version == '12.2(44)SQ1' ) flag++;
if ( version == '12.2(44)SQ2' ) flag++;
if ( version == '12.2(46)' ) flag++;
if ( version == '12.2(46)EX' ) flag++;
if ( version == '12.2(46)SE' ) flag++;
if ( version == '12.2(46)SG' ) flag++;
if ( version == '12.2(46)SG1' ) flag++;
if ( version == '12.2(46a)' ) 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(50)SE' ) flag++;
if ( version == '12.2(50)SE1' ) flag++;
if ( version == '12.2(50)SE3' ) flag++;
if ( version == '12.2(50)SE4' ) flag++;
if ( version == '12.2(50)SE5' ) flag++;
if ( version == '12.2(50)SG' ) flag++;
if ( version == '12.2(50)SG1' ) flag++;
if ( version == '12.2(50)SG2' ) flag++;
if ( version == '12.2(50)SG3' ) flag++;
if ( version == '12.2(50)SG4' ) flag++;
if ( version == '12.2(50)SG5' ) flag++;
if ( version == '12.2(50)SG6' ) flag++;
if ( version == '12.2(50)SG7' ) flag++;
if ( version == '12.2(50)SG8' ) flag++;
if ( version == '12.2(50)SQ' ) flag++;
if ( version == '12.2(50)SQ1' ) flag++;
if ( version == '12.2(50)SQ2' ) flag++;
if ( version == '12.2(50)SQ3' ) flag++;
if ( version == '12.2(50)SQ4' ) flag++;
if ( version == '12.2(50)SY' ) flag++;
if ( version == '12.2(50)SY1' ) flag++;
if ( version == '12.2(52)EX' ) flag++;
if ( version == '12.2(52)EX1' ) flag++;
if ( version == '12.2(52)EY' ) flag++;
if ( version == '12.2(52)EY1' ) flag++;
if ( version == '12.2(52)EY1A' ) flag++;
if ( version == '12.2(52)EY1b' ) flag++;
if ( version == '12.2(52)EY1c' ) flag++;
if ( version == '12.2(52)EY2' ) flag++;
if ( version == '12.2(52)EY2a' ) flag++;
if ( version == '12.2(52)EY3' ) flag++;
if ( version == '12.2(52)EY3a' ) flag++;
if ( version == '12.2(52)SE' ) flag++;
if ( version == '12.2(52)SE1' ) flag++;
if ( version == '12.2(52)SG' ) flag++;
if ( version == '12.2(52)XO' ) flag++;
if ( version == '12.2(53)EX' ) flag++;
if ( version == '12.2(53)SE' ) flag++;
if ( version == '12.2(53)SE1' ) flag++;
if ( version == '12.2(53)SE2' ) flag++;
if ( version == '12.2(53)SG' ) flag++;
if ( version == '12.2(53)SG1' ) flag++;
if ( version == '12.2(53)SG2' ) flag++;
if ( version == '12.2(53)SG3' ) flag++;
if ( version == '12.2(53)SG4' ) flag++;
if ( version == '12.2(53)SG5' ) flag++;
if ( version == '12.2(53)SG6' ) flag++;
if ( version == '12.2(54)SE' ) flag++;
if ( version == '12.2(54)SG' ) flag++;
if ( version == '12.2(54)SG1' ) flag++;
if ( version == '12.2(54)WO' ) flag++;
if ( version == '12.2(54)XO' ) flag++;
if ( version == '12.2(55)EX' ) flag++;
if ( version == '12.2(55)EX2' ) flag++;
if ( version == '12.2(55)EX3' ) flag++;
if ( version == '12.2(55)EY' ) flag++;
if ( version == '12.2(55)SE' ) flag++;
if ( version == '12.2(55)SE1' ) flag++;
if ( version == '12.2(55)SE3' ) flag++;
if ( version == '12.2(55)SE4' ) flag++;
if ( version == '12.2(58)EY' ) flag++;
if ( version == '12.2(58)EY1' ) flag++;
if ( version == '12.2(58)SE' ) flag++;
if ( version == '12.2(58)SE1' ) flag++;
if ( version == '12.2(58)SE2' ) 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(7d)' ) flag++;
if ( version == '12.2(7e)' ) flag++;
if ( version == '12.2(7f)' ) flag++;
if ( version == '12.2(7g)' ) flag++;
if ( version == '12.2(8)B' ) flag++;
if ( version == '12.2(8)B1' ) flag++;
if ( version == '12.2(8)B2' ) 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)BZ' ) 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)T0a' ) flag++;
if ( version == '12.2(8)T0b' ) flag++;
if ( version == '12.2(8)T0c' ) flag++;
if ( version == '12.2(8)T0d' ) flag++;
if ( version == '12.2(8)T0e' ) 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)T4a' ) flag++;
if ( version == '12.2(8)T5' ) flag++;
if ( version == '12.2(8)T6' ) flag++;
if ( version == '12.2(8)T7' ) flag++;
if ( version == '12.2(8)T8' ) flag++;
if ( version == '12.2(8)T9' ) flag++;
if ( version == '12.2(8)TPC10a' ) flag++;
if ( version == '12.2(8)TPC10b' ) flag++;
if ( version == '12.2(8)TPC10c' ) 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)YE' ) flag++;
if ( version == '12.2(9)ZA' ) flag++;
if ( version == '12.2(99)SX1006' ) flag++;
if ( version == '12.2(99)SX1010' ) flag++;
if ( version == '12.2(99)SX1012' ) flag++;
if ( version == '12.2(99)SX1017' ) flag++;
if ( version == '12.3(1)' ) flag++;
if ( version == '12.3(10)' ) flag++;
if ( version == '12.3(10a)' ) flag++;
if ( version == '12.3(10a)M0' ) 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)T' ) flag++;
if ( version == '12.3(11)T1' ) flag++;
if ( version == '12.3(11)T10' ) flag++;
if ( version == '12.3(11)T11' ) flag++;
if ( version == '12.3(11)T12' ) flag++;
if ( version == '12.3(11)T2' ) flag++;
if ( version == '12.3(11)T2a' ) 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)TO3' ) flag++;
if ( version == '12.3(11)XL' ) flag++;
if ( version == '12.3(11)XL1' ) flag++;
if ( version == '12.3(11)XL2' ) flag++;
if ( version == '12.3(11)XL3' ) 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)YK3' ) flag++;
if ( version == '12.3(11)YL' ) flag++;
if ( version == '12.3(11)YL1' ) flag++;
if ( version == '12.3(11)YL2' ) flag++;
if ( version == '12.3(11)YN' ) flag++;
if ( version == '12.3(11)YR' ) flag++;
if ( version == '12.3(11)YR1' ) flag++;
if ( version == '12.3(11)YS' ) flag++;
if ( version == '12.3(11)YS1' ) flag++;
if ( version == '12.3(11)YS2' ) flag++;
if ( version == '12.3(11)YZ' ) flag++;
if ( version == '12.3(11)YZ1' ) flag++;
if ( version == '12.3(11)YZ2' ) flag++;
if ( version == '12.3(11)ZB' ) flag++;
if ( version == '12.3(11)ZB1' ) flag++;
if ( version == '12.3(11)ZB2' ) 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)T4' ) 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)YM1' ) flag++;
if ( version == '12.3(14)YM10' ) flag++;
if ( version == '12.3(14)YM11' ) flag++;
if ( version == '12.3(14)YM12' ) flag++;
if ( version == '12.3(14)YM13' ) 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)YM8' ) flag++;
if ( version == '12.3(14)YM9' ) 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)YX10' ) flag++;
if ( version == '12.3(14)YX11' ) flag++;
if ( version == '12.3(14)YX12' ) flag++;
if ( version == '12.3(14)YX13' ) flag++;
if ( version == '12.3(14)YX14' ) flag++;
if ( version == '12.3(14)YX15' ) flag++;
if ( version == '12.3(14)YX16' ) flag++;
if ( version == '12.3(14)YX17' ) flag++;
if ( version == '12.3(14)YX2' ) flag++;
if ( version == '12.3(14)YX3' ) flag++;
if ( version == '12.3(14)YX4' ) flag++;
if ( version == '12.3(14)YX7' ) flag++;
if ( version == '12.3(14)YX8' ) flag++;
if ( version == '12.3(14)YX9' ) 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(17b)BC3' ) flag++;
if ( version == '12.3(17b)BC4' ) flag++;
if ( version == '12.3(17b)BC5' ) flag++;
if ( version == '12.3(17b)BC6' ) flag++;
if ( version == '12.3(17b)BC7' ) flag++;
if ( version == '12.3(17b)BC8' ) flag++;
if ( version == '12.3(17b)BC9' ) flag++;
if ( version == '12.3(17c)' ) flag++;
if ( version == '12.3(18)' ) flag++;
if ( version == '12.3(18a)' ) flag++;
if ( version == '12.3(19)' ) flag++;
if ( version == '12.3(19a)' ) 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)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)XA6' ) flag++;
if ( version == '12.3(2)XA7' ) 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)XC5' ) 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)XE5' ) flag++;
if ( version == '12.3(2)XF' ) 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(20a)' ) flag++;
if ( version == '12.3(21)' ) flag++;
if ( version == '12.3(21)BC' ) flag++;
if ( version == '12.3(21a)' ) flag++;
if ( version == '12.3(21a)BC1' ) flag++;
if ( version == '12.3(21a)BC2' ) flag++;
if ( version == '12.3(21a)BC3' ) flag++;
if ( version == '12.3(21a)BC4' ) flag++;
if ( version == '12.3(21a)BC5' ) flag++;
if ( version == '12.3(21a)BC6' ) flag++;
if ( version == '12.3(21a)BC7' ) flag++;
if ( version == '12.3(21a)BC8' ) flag++;
if ( version == '12.3(21a)BC9' ) flag++;
if ( version == '12.3(21b)' ) flag++;
if ( version == '12.3(22)' ) flag++;
if ( version == '12.3(22a)' ) flag++;
if ( version == '12.3(23)' ) flag++;
if ( version == '12.3(23)BC' ) flag++;
if ( version == '12.3(23)BC1' ) flag++;
if ( version == '12.3(23)BC10' ) flag++;
if ( version == '12.3(23)BC2' ) flag++;
if ( version == '12.3(23)BC3' ) flag++;
if ( version == '12.3(23)BC4' ) flag++;
if ( version == '12.3(23)BC5' ) flag++;
if ( version == '12.3(23)BC6' ) flag++;
if ( version == '12.3(23)BC7' ) flag++;
if ( version == '12.3(23)BC8' ) flag++;
if ( version == '12.3(23)BC9' ) flag++;
if ( version == '12.3(24)' ) flag++;
if ( version == '12.3(24a)' ) flag++;
if ( version == '12.3(25)' ) flag++;
if ( version == '12.3(26)' ) 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(3d)' ) 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)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)T12' ) 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)T5' ) 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)TPC11b' ) 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)XH' ) flag++;
if ( version == '12.3(4)XH1' ) 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)XN' ) flag++;
if ( version == '12.3(4)XN1' ) flag++;
if ( version == '12.3(4)XN2' ) flag++;
if ( version == '12.3(4)XQ' ) flag++;
if ( version == '12.3(4)XQ1' ) flag++;
if ( version == '12.3(4)YE' ) flag++;
if ( version == '12.3(4)YE1' ) 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)B0a' ) 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(6d)' ) flag++;
if ( version == '12.3(6e)' ) flag++;
if ( version == '12.3(6f)' ) 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)T5' ) 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)XI' ) flag++;
if ( version == '12.3(7)XI10' ) flag++;
if ( version == '12.3(7)XI10a' ) flag++;
if ( version == '12.3(7)XI10b' ) flag++;
if ( version == '12.3(7)XI1a' ) 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)XI2b' ) flag++;
if ( version == '12.3(7)XI2c' ) flag++;
if ( version == '12.3(7)XI3' ) flag++;
if ( version == '12.3(7)XI3a' ) flag++;
if ( version == '12.3(7)XI3b' ) flag++;
if ( version == '12.3(7)XI3d' ) flag++;
if ( version == '12.3(7)XI3e' ) 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)XI8a' ) flag++;
if ( version == '12.3(7)XI8bb' ) flag++;
if ( version == '12.3(7)XI8bc' ) flag++;
if ( version == '12.3(7)XI8c' ) flag++;
if ( version == '12.3(7)XI8d' ) flag++;
if ( version == '12.3(7)XI8e' ) flag++;
if ( version == '12.3(7)XI8f' ) flag++;
if ( version == '12.3(7)XI8g' ) flag++;
if ( version == '12.3(7)XI9' ) 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)XL' ) flag++;
if ( version == '12.3(7)XM' ) flag++;
if ( version == '12.3(7)XR' ) flag++;
if ( version == '12.3(7)XR1' ) 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)XR7' ) 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(7)YB' ) flag++;
if ( version == '12.3(7)YB1' ) flag++;
if ( version == '12.3(8)T' ) flag++;
if ( version == '12.3(8)T0a' ) 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)T2' ) 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)XW1a' ) flag++;
if ( version == '12.3(8)XW1b' ) 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)XX2' ) flag++;
if ( version == '12.3(8)XX2a' ) flag++;
if ( version == '12.3(8)XX2b' ) flag++;
if ( version == '12.3(8)XX2c' ) flag++;
if ( version == '12.3(8)XX2d' ) flag++;
if ( version == '12.3(8)XX2e' ) 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)YC' ) flag++;
if ( version == '12.3(8)YC1' ) flag++;
if ( version == '12.3(8)YC2' ) flag++;
if ( version == '12.3(8)YC3' ) 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)YG6' ) flag++;
if ( version == '12.3(8)YG7' ) flag++;
if ( version == '12.3(8)YH' ) flag++;
if ( version == '12.3(8)YI' ) 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(8)ZA1' ) flag++;
if ( version == '12.3(9)' ) flag++;
if ( version == '12.3(9)M0' ) flag++;
if ( version == '12.3(9)M1' ) 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(10)' ) flag++;
if ( version == '12.4(10a)' ) flag++;
if ( version == '12.4(10b)' ) flag++;
if ( version == '12.4(10c)' ) flag++;
if ( version == '12.4(11)MD' ) flag++;
if ( version == '12.4(11)MD1' ) flag++;
if ( version == '12.4(11)MD10' ) flag++;
if ( version == '12.4(11)MD2' ) flag++;
if ( version == '12.4(11)MD3' ) flag++;
if ( version == '12.4(11)MD4' ) flag++;
if ( version == '12.4(11)MD5' ) flag++;
if ( version == '12.4(11)MD6' ) flag++;
if ( version == '12.4(11)MD7' ) flag++;
if ( version == '12.4(11)MD8' ) flag++;
if ( version == '12.4(11)MD9' ) flag++;
if ( version == '12.4(11)MR' ) flag++;
if ( version == '12.4(11)SW' ) flag++;
if ( version == '12.4(11)SW1' ) flag++;
if ( version == '12.4(11)SW2' ) flag++;
if ( version == '12.4(11)SW3' ) flag++;
if ( version == '12.4(11)T' ) flag++;
if ( version == '12.4(11)T1' ) flag++;
if ( version == '12.4(11)T2' ) flag++;
if ( version == '12.4(11)T3' ) flag++;
if ( version == '12.4(11)T4' ) flag++;
if ( version == '12.4(11)XJ' ) flag++;
if ( version == '12.4(11)XJ1' ) flag++;
if ( version == '12.4(11)XJ2' ) flag++;
if ( version == '12.4(11)XJ3' ) flag++;
if ( version == '12.4(11)XJ4' ) flag++;
if ( version == '12.4(11)XJ5' ) flag++;
if ( version == '12.4(11)XJ6' ) flag++;
if ( version == '12.4(11)XV' ) flag++;
if ( version == '12.4(11)XV1' ) flag++;
if ( version == '12.4(11)XW' ) flag++;
if ( version == '12.4(11)XW1' ) flag++;
if ( version == '12.4(11)XW10' ) flag++;
if ( version == '12.4(11)XW2' ) flag++;
if ( version == '12.4(11)XW3' ) flag++;
if ( version == '12.4(11)XW4' ) flag++;
if ( version == '12.4(11)XW5' ) flag++;
if ( version == '12.4(11)XW6' ) flag++;
if ( version == '12.4(11)XW7' ) flag++;
if ( version == '12.4(11)XW8' ) flag++;
if ( version == '12.4(11)XW9' ) flag++;
if ( version == '12.4(12)' ) flag++;
if ( version == '12.4(12)MR' ) flag++;
if ( version == '12.4(12)MR1' ) flag++;
if ( version == '12.4(12)MR2' ) flag++;
if ( version == '12.4(12a)' ) flag++;
if ( version == '12.4(12b)' ) flag++;
if ( version == '12.4(12c)' ) flag++;
if ( version == '12.4(13)' ) flag++;
if ( version == '12.4(13a)' ) flag++;
if ( version == '12.4(13b)' ) flag++;
if ( version == '12.4(13c)' ) flag++;
if ( version == '12.4(13d)' ) flag++;
if ( version == '12.4(13e)' ) flag++;
if ( version == '12.4(13f)' ) flag++;
if ( version == '12.4(14)XK' ) flag++;
if ( version == '12.4(15)MD' ) flag++;
if ( version == '12.4(15)MD1' ) flag++;
if ( version == '12.4(15)MD2' ) flag++;
if ( version == '12.4(15)MD3' ) flag++;
if ( version == '12.4(15)MD4' ) flag++;
if ( version == '12.4(15)MD5' ) flag++;
if ( version == '12.4(15)SW' ) flag++;
if ( version == '12.4(15)SW1' ) flag++;
if ( version == '12.4(15)SW2' ) flag++;
if ( version == '12.4(15)SW3' ) flag++;
if ( version == '12.4(15)SW4' ) flag++;
if ( version == '12.4(15)SW5' ) flag++;
if ( version == '12.4(15)SW6' ) flag++;
if ( version == '12.4(15)SW7' ) flag++;
if ( version == '12.4(15)SW8' ) flag++;
if ( version == '12.4(15)T' ) flag++;
if ( version == '12.4(15)T1' ) flag++;
if ( version == '12.4(15)T10' ) flag++;
if ( version == '12.4(15)T11' ) flag++;
if ( version == '12.4(15)T12' ) flag++;
if ( version == '12.4(15)T13' ) flag++;
if ( version == '12.4(15)T13b' ) flag++;
if ( version == '12.4(15)T14' ) flag++;
if ( version == '12.4(15)T15' ) flag++;
if ( version == '12.4(15)T16' ) flag++;
if ( version == '12.4(15)T2' ) flag++;
if ( version == '12.4(15)T3' ) flag++;
if ( version == '12.4(15)T4' ) flag++;
if ( version == '12.4(15)T5' ) flag++;
if ( version == '12.4(15)T6' ) flag++;
if ( version == '12.4(15)T6a' ) flag++;
if ( version == '12.4(15)T7' ) flag++;
if ( version == '12.4(15)T8' ) flag++;
if ( version == '12.4(15)T9' ) flag++;
if ( version == '12.4(15)XF' ) flag++;
if ( version == '12.4(15)XL' ) flag++;
if ( version == '12.4(15)XL1' ) flag++;
if ( version == '12.4(15)XL2' ) flag++;
if ( version == '12.4(15)XL3' ) flag++;
if ( version == '12.4(15)XL4' ) flag++;
if ( version == '12.4(15)XL5' ) flag++;
if ( version == '12.4(15)XM' ) flag++;
if ( version == '12.4(15)XM1' ) flag++;
if ( version == '12.4(15)XM2' ) flag++;
if ( version == '12.4(15)XM3' ) flag++;
if ( version == '12.4(15)XN' ) flag++;
if ( version == '12.4(15)XQ' ) flag++;
if ( version == '12.4(15)XQ1' ) flag++;
if ( version == '12.4(15)XQ2' ) flag++;
if ( version == '12.4(15)XQ2a' ) flag++;
if ( version == '12.4(15)XQ2b' ) flag++;
if ( version == '12.4(15)XQ2c' ) flag++;
if ( version == '12.4(15)XQ2d' ) flag++;
if ( version == '12.4(15)XQ3' ) flag++;
if ( version == '12.4(15)XQ4' ) flag++;
if ( version == '12.4(15)XQ5' ) flag++;
if ( version == '12.4(15)XQ6' ) flag++;
if ( version == '12.4(15)XQ7' ) flag++;
if ( version == '12.4(15)XQ8' ) flag++;
if ( version == '12.4(15)XR' ) flag++;
if ( version == '12.4(15)XR1' ) flag++;
if ( version == '12.4(15)XR10' ) flag++;
if ( version == '12.4(15)XR2' ) flag++;
if ( version == '12.4(15)XR3' ) flag++;
if ( version == '12.4(15)XR4' ) flag++;
if ( version == '12.4(15)XR5' ) flag++;
if ( version == '12.4(15)XR6' ) flag++;
if ( version == '12.4(15)XR7' ) flag++;
if ( version == '12.4(15)XR8' ) flag++;
if ( version == '12.4(15)XR9' ) flag++;
if ( version == '12.4(15)XY' ) flag++;
if ( version == '12.4(15)XY1' ) flag++;
if ( version == '12.4(15)XY2' ) flag++;
if ( version == '12.4(15)XY3' ) flag++;
if ( version == '12.4(15)XY4' ) flag++;
if ( version == '12.4(15)XY5' ) flag++;
if ( version == '12.4(15)XZ' ) flag++;
if ( version == '12.4(15)XZ1' ) flag++;
if ( version == '12.4(15)XZ2' ) flag++;
if ( version == '12.4(16)' ) flag++;
if ( version == '12.4(16)MR' ) flag++;
if ( version == '12.4(16)MR1' ) flag++;
if ( version == '12.4(16)MR2' ) flag++;
if ( version == '12.4(16a)' ) flag++;
if ( version == '12.4(16b)' ) flag++;
if ( version == '12.4(17)' ) flag++;
if ( version == '12.4(17a)' ) flag++;
if ( version == '12.4(17b)' ) flag++;
if ( version == '12.4(18)' ) flag++;
if ( version == '12.4(18a)' ) flag++;
if ( version == '12.4(18b)' ) flag++;
if ( version == '12.4(18c)' ) flag++;
if ( version == '12.4(18d)' ) flag++;
if ( version == '12.4(18e)' ) flag++;
if ( version == '12.4(19)' ) flag++;
if ( version == '12.4(19)MR' ) flag++;
if ( version == '12.4(19)MR1' ) flag++;
if ( version == '12.4(19)MR2' ) 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)T6' ) 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)XB10' ) flag++;
if ( version == '12.4(2)XB11' ) flag++;
if ( version == '12.4(2)XB12' ) flag++;
if ( version == '12.4(2)XB2' ) flag++;
if ( version == '12.4(2)XB3' ) flag++;
if ( version == '12.4(2)XB4' ) flag++;
if ( version == '12.4(2)XB5' ) flag++;
if ( version == '12.4(2)XB6' ) flag++;
if ( version == '12.4(2)XB7' ) flag++;
if ( version == '12.4(2)XB8' ) flag++;
if ( version == '12.4(2)XB9' ) flag++;
if ( version == '12.4(20)MR' ) flag++;
if ( version == '12.4(20)MR2' ) flag++;
if ( version == '12.4(20)MRA' ) flag++;
if ( version == '12.4(20)MRA1' ) flag++;
if ( version == '12.4(20)MRB' ) flag++;
if ( version == '12.4(20)MRB1' ) flag++;
if ( version == '12.4(20)T' ) flag++;
if ( version == '12.4(20)T1' ) flag++;
if ( version == '12.4(20)T2' ) flag++;
if ( version == '12.4(20)T3' ) flag++;
if ( version == '12.4(20)T4' ) flag++;
if ( version == '12.4(20)T5' ) flag++;
if ( version == '12.4(20)T5a' ) flag++;
if ( version == '12.4(20)T6' ) flag++;
if ( version == '12.4(20)YA' ) flag++;
if ( version == '12.4(20)YA1' ) flag++;
if ( version == '12.4(20)YA2' ) flag++;
if ( version == '12.4(20)YA3' ) flag++;
if ( version == '12.4(21)' ) flag++;
if ( version == '12.4(21a)' ) flag++;
if ( version == '12.4(21a)M1' ) flag++;
if ( version == '12.4(22)GC1' ) flag++;
if ( version == '12.4(22)GC1a' ) flag++;
if ( version == '12.4(22)MD' ) flag++;
if ( version == '12.4(22)MD1' ) flag++;
if ( version == '12.4(22)MD2' ) flag++;
if ( version == '12.4(22)MDA' ) flag++;
if ( version == '12.4(22)MDA1' ) flag++;
if ( version == '12.4(22)MDA2' ) flag++;
if ( version == '12.4(22)MDA3' ) flag++;
if ( version == '12.4(22)MDA4' ) flag++;
if ( version == '12.4(22)MDA5' ) flag++;
if ( version == '12.4(22)MDA6' ) flag++;
if ( version == '12.4(22)T' ) flag++;
if ( version == '12.4(22)T1' ) flag++;
if ( version == '12.4(22)T2' ) flag++;
if ( version == '12.4(22)T3' ) flag++;
if ( version == '12.4(22)T4' ) flag++;
if ( version == '12.4(22)T5' ) flag++;
if ( version == '12.4(22)XR' ) flag++;
if ( version == '12.4(22)XR1' ) flag++;
if ( version == '12.4(22)XR10' ) flag++;
if ( version == '12.4(22)XR11' ) flag++;
if ( version == '12.4(22)XR12' ) flag++;
if ( version == '12.4(22)XR2' ) flag++;
if ( version == '12.4(22)XR3' ) flag++;
if ( version == '12.4(22)XR4' ) flag++;
if ( version == '12.4(22)XR5' ) flag++;
if ( version == '12.4(22)XR6' ) flag++;
if ( version == '12.4(22)XR7' ) flag++;
if ( version == '12.4(22)XR8' ) flag++;
if ( version == '12.4(22)XR9' ) flag++;
if ( version == '12.4(22)YB' ) flag++;
if ( version == '12.4(22)YB1' ) flag++;
if ( version == '12.4(22)YB4' ) flag++;
if ( version == '12.4(22)YB5' ) flag++;
if ( version == '12.4(22)YB6' ) flag++;
if ( version == '12.4(22)YB7' ) flag++;
if ( version == '12.4(22)YB8' ) flag++;
if ( version == '12.4(22)YD' ) flag++;
if ( version == '12.4(22)YD1' ) flag++;
if ( version == '12.4(22)YD2' ) flag++;
if ( version == '12.4(22)YD3' ) flag++;
if ( version == '12.4(22)YD4' ) flag++;
if ( version == '12.4(22)YE' ) flag++;
if ( version == '12.4(22)YE1' ) flag++;
if ( version == '12.4(22)YE2' ) flag++;
if ( version == '12.4(22)YE3' ) flag++;
if ( version == '12.4(22)YE4' ) flag++;
if ( version == '12.4(22)YE5' ) flag++;
if ( version == '12.4(22)YE6' ) flag++;
if ( version == '12.4(23)' ) flag++;
if ( version == '12.4(23a)' ) flag++;
if ( version == '12.4(23b)' ) flag++;
if ( version == '12.4(23b)M1' ) flag++;
if ( version == '12.4(23c)' ) flag++;
if ( version == '12.4(23d)' ) flag++;
if ( version == '12.4(23e)' ) flag++;
if ( version == '12.4(24)GC1' ) flag++;
if ( version == '12.4(24)GC3' ) flag++;
if ( version == '12.4(24)GC3a' ) flag++;
if ( version == '12.4(24)GC4' ) flag++;
if ( version == '12.4(24)MD' ) flag++;
if ( version == '12.4(24)MD1' ) flag++;
if ( version == '12.4(24)MD2' ) flag++;
if ( version == '12.4(24)MD3' ) flag++;
if ( version == '12.4(24)MD4' ) flag++;
if ( version == '12.4(24)MD5' ) flag++;
if ( version == '12.4(24)MD6' ) flag++;
if ( version == '12.4(24)MDA' ) flag++;
if ( version == '12.4(24)MDA1' ) flag++;
if ( version == '12.4(24)MDA10' ) flag++;
if ( version == '12.4(24)MDA2' ) flag++;
if ( version == '12.4(24)MDA3' ) flag++;
if ( version == '12.4(24)MDA4' ) flag++;
if ( version == '12.4(24)MDA5' ) flag++;
if ( version == '12.4(24)MDA6' ) flag++;
if ( version == '12.4(24)MDA7' ) flag++;
if ( version == '12.4(24)MDA8' ) flag++;
if ( version == '12.4(24)MDA9' ) flag++;
if ( version == '12.4(24)MDB' ) flag++;
if ( version == '12.4(24)MDB1' ) flag++;
if ( version == '12.4(24)MDB3' ) flag++;
if ( version == '12.4(24)MDB4' ) flag++;
if ( version == '12.4(24)MDB5' ) flag++;
if ( version == '12.4(24)T' ) flag++;
if ( version == '12.4(24)T1' ) flag++;
if ( version == '12.4(24)T2' ) flag++;
if ( version == '12.4(24)T3' ) flag++;
if ( version == '12.4(24)T35c' ) flag++;
if ( version == '12.4(24)T3c' ) flag++;
if ( version == '12.4(24)T3e' ) flag++;
if ( version == '12.4(24)T4' ) flag++;
if ( version == '12.4(24)T4a' ) flag++;
if ( version == '12.4(24)T4b' ) flag++;
if ( version == '12.4(24)T4c' ) flag++;
if ( version == '12.4(24)T5' ) flag++;
if ( version == '12.4(24)T6' ) flag++;
if ( version == '12.4(24)YE' ) flag++;
if ( version == '12.4(24)YE1' ) flag++;
if ( version == '12.4(24)YE2' ) flag++;
if ( version == '12.4(24)YE3' ) flag++;
if ( version == '12.4(24)YE3a' ) flag++;
if ( version == '12.4(24)YE3b' ) flag++;
if ( version == '12.4(24)YE3c' ) flag++;
if ( version == '12.4(24)YE4' ) flag++;
if ( version == '12.4(24)YE5' ) flag++;
if ( version == '12.4(24)YE6' ) flag++;
if ( version == '12.4(24)YE7' ) flag++;
if ( version == '12.4(24)YG1' ) flag++;
if ( version == '12.4(24)YG2' ) flag++;
if ( version == '12.4(24)YG3' ) flag++;
if ( version == '12.4(25)' ) flag++;
if ( version == '12.4(25a)' ) flag++;
if ( version == '12.4(25b)' ) flag++;
if ( version == '12.4(25c)' ) flag++;
if ( version == '12.4(25d)' ) flag++;
if ( version == '12.4(25e)' ) flag++;
if ( version == '12.4(25f)' ) 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(3f)' ) flag++;
if ( version == '12.4(3g)' ) flag++;
if ( version == '12.4(3h)' ) flag++;
if ( version == '12.4(3i)' ) flag++;
if ( version == '12.4(3j)' ) 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)T5' ) flag++;
if ( version == '12.4(4)T6' ) flag++;
if ( version == '12.4(4)T7' ) flag++;
if ( version == '12.4(4)T8' ) 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)XC5' ) flag++;
if ( version == '12.4(4)XC6' ) flag++;
if ( version == '12.4(4)XC7' ) flag++;
if ( version == '12.4(4)XD' ) flag++;
if ( version == '12.4(4)XD1' ) flag++;
if ( version == '12.4(4)XD10' ) flag++;
if ( version == '12.4(4)XD11' ) flag++;
if ( version == '12.4(4)XD12' ) flag++;
if ( version == '12.4(4)XD2' ) flag++;
if ( version == '12.4(4)XD3' ) flag++;
if ( version == '12.4(4)XD4' ) flag++;
if ( version == '12.4(4)XD5' ) flag++;
if ( version == '12.4(4)XD6' ) flag++;
if ( version == '12.4(4)XD7' ) flag++;
if ( version == '12.4(4)XD8' ) flag++;
if ( version == '12.4(4)XD9' ) flag++;
if ( version == '12.4(5)' ) flag++;
if ( version == '12.4(5a)' ) flag++;
if ( version == '12.4(5a)M0' ) flag++;
if ( version == '12.4(5b)' ) flag++;
if ( version == '12.4(5c)' ) 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)T10' ) flag++;
if ( version == '12.4(6)T11' ) flag++;
if ( version == '12.4(6)T12' ) flag++;
if ( version == '12.4(6)T2' ) flag++;
if ( version == '12.4(6)T3' ) flag++;
if ( version == '12.4(6)T4' ) flag++;
if ( version == '12.4(6)T5' ) flag++;
if ( version == '12.4(6)T5a' ) flag++;
if ( version == '12.4(6)T5b' ) flag++;
if ( version == '12.4(6)T5c' ) flag++;
if ( version == '12.4(6)T5d' ) flag++;
if ( version == '12.4(6)T5e' ) flag++;
if ( version == '12.4(6)T5f' ) flag++;
if ( version == '12.4(6)T6' ) flag++;
if ( version == '12.4(6)T7' ) flag++;
if ( version == '12.4(6)T8' ) flag++;
if ( version == '12.4(6)T9' ) flag++;
if ( version == '12.4(6)XE' ) flag++;
if ( version == '12.4(6)XE1' ) flag++;
if ( version == '12.4(6)XE2' ) flag++;
if ( version == '12.4(6)XE3' ) flag++;
if ( version == '12.4(6)XP' ) flag++;
if ( version == '12.4(6)XT' ) flag++;
if ( version == '12.4(6)XT1' ) flag++;
if ( version == '12.4(6)XT2' ) flag++;
if ( version == '12.4(7)' ) flag++;
if ( version == '12.4(7a)' ) flag++;
if ( version == '12.4(7b)' ) flag++;
if ( version == '12.4(7c)' ) flag++;
if ( version == '12.4(7d)' ) flag++;
if ( version == '12.4(7e)' ) flag++;
if ( version == '12.4(7f)' ) flag++;
if ( version == '12.4(7g)' ) flag++;
if ( version == '12.4(7h)' ) flag++;
if ( version == '12.4(8)' ) flag++;
if ( version == '12.4(8a)' ) flag++;
if ( version == '12.4(8b)' ) flag++;
if ( version == '12.4(8c)' ) flag++;
if ( version == '12.4(8d)' ) flag++;
if ( version == '12.4(9)MR' ) flag++;
if ( version == '12.4(9)T' ) flag++;
if ( version == '12.4(9)T0a' ) flag++;
if ( version == '12.4(9)T1' ) flag++;
if ( version == '12.4(9)T2' ) flag++;
if ( version == '12.4(9)T3' ) flag++;
if ( version == '12.4(9)T4' ) flag++;
if ( version == '12.4(9)T5' ) flag++;
if ( version == '12.4(9)T6' ) flag++;
if ( version == '12.4(9)T7' ) flag++;
if ( version == '12.4(9)XG' ) flag++;
if ( version == '12.4(9)XG1' ) flag++;
if ( version == '12.4(9)XG2' ) flag++;
if ( version == '12.4(9)XG3' ) flag++;
if ( version == '12.4(9)XG4' ) flag++;
if ( version == '12.4(9)XG5' ) flag++;
if ( version == '15.0(1)M' ) flag++;
if ( version == '15.0(1)M1' ) flag++;
if ( version == '15.0(1)M2' ) flag++;
if ( version == '15.0(1)M3' ) flag++;
if ( version == '15.0(1)M4' ) flag++;
if ( version == '15.0(1)M5' ) flag++;
if ( version == '15.0(1)M6' ) flag++;
if ( version == '15.0(1)M6a' ) flag++;
if ( version == '15.0(1)M7' ) flag++;
if ( version == '15.0(1)MR' ) flag++;
if ( version == '15.0(1)S' ) flag++;
if ( version == '15.0(1)S1' ) flag++;
if ( version == '15.0(1)S2' ) flag++;
if ( version == '15.0(1)S3a' ) flag++;
if ( version == '15.0(1)S4' ) flag++;
if ( version == '15.0(1)S4a' ) flag++;
if ( version == '15.0(1)SE' ) flag++;
if ( version == '15.0(1)XA' ) flag++;
if ( version == '15.0(1)XA1' ) flag++;
if ( version == '15.0(1)XA2' ) flag++;
if ( version == '15.0(1)XA3' ) flag++;
if ( version == '15.0(1)XA4' ) flag++;
if ( version == '15.0(1)XA5' ) flag++;
if ( version == '15.0(1)XO' ) flag++;
if ( version == '15.0(1)XO1' ) flag++;
if ( version == '15.0(2)MR' ) flag++;
if ( version == '15.0(2)SG' ) flag++;
if ( version == '15.0(2)SG1' ) flag++;
if ( version == '15.0(2)XO' ) flag++;
if ( version == '15.1(1)MR' ) flag++;
if ( version == '15.1(1)MR1' ) flag++;
if ( version == '15.1(1)MR2' ) flag++;
if ( version == '15.1(1)S' ) flag++;
if ( version == '15.1(1)S1' ) flag++;
if ( version == '15.1(1)S2' ) flag++;
if ( version == '15.1(1)SA' ) flag++;
if ( version == '15.1(1)SA1' ) flag++;
if ( version == '15.1(1)SA2' ) flag++;
if ( version == '15.1(1)T' ) flag++;
if ( version == '15.1(1)T1' ) flag++;
if ( version == '15.1(1)T2' ) flag++;
if ( version == '15.1(1)T3' ) flag++;
if ( version == '15.1(1)T4' ) flag++;
if ( version == '15.1(1)XB' ) flag++;
if ( version == '15.1(1)XB1' ) flag++;
if ( version == '15.1(1)XB2' ) flag++;
if ( version == '15.1(1)XB3' ) flag++;
if ( version == '15.1(2)EY' ) flag++;
if ( version == '15.1(2)EY1' ) flag++;
if ( version == '15.1(2)GC' ) flag++;
if ( version == '15.1(2)GC1' ) flag++;
if ( version == '15.1(2)S' ) flag++;
if ( version == '15.1(2)S1' ) flag++;
if ( version == '15.1(2)S2' ) flag++;
if ( version == '15.1(2)SNG' ) flag++;
if ( version == '15.1(2)T' ) flag++;
if ( version == '15.1(2)T0a' ) flag++;
if ( version == '15.1(2)T1' ) flag++;
if ( version == '15.1(2)T2' ) flag++;
if ( version == '15.1(2)T2a' ) flag++;
if ( version == '15.1(2)T3' ) flag++;
if ( version == '15.1(2)T4' ) flag++;
if ( version == '15.1(3)S' ) flag++;
if ( version == '15.1(3)S0a' ) flag++;
if ( version == '15.1(3)T' ) flag++;
if ( version == '15.1(3)T1' ) flag++;
if ( version == '15.1(3)T2' ) flag++;
if ( version == '15.1(4)M' ) flag++;
if ( version == '15.1(4)M0a' ) flag++;
if ( version == '15.1(4)M0b' ) flag++;
if ( version == '15.1(4)M1' ) flag++;
if ( version == '15.1(4)XB4' ) flag++;
if ( version == '15.1(4)XB5' ) flag++;
if ( version == '15.2(1)GC' ) flag++;
if ( version == '15.2(1)T' ) flag++;

if (get_kb_item("Host/local_checks_enabled"))
{

  if (flag)
  {
    flag = 0;
    buf = cisco_command_kb_item("Host/Cisco/Config/show_running-config", "show running-config");
    if (check_cisco_result(buf))
    {
      if (preg(pattern:"\s*ip\s*igmp\s*join-group\s*[0-9]{1,3}(\.[0-9]{1,3}){3}", multiline:TRUE, string:buf)) { flag = 1; }
      if (preg(pattern:"\s*ip\s*sap\s*listen", 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");

Seebug

bulletinFamilyexploit
descriptionBUGTRAQ ID: 52759 CVE ID: CVE-2012-0382 MSDP是用于连接多个PIM-SM域的协议,允许一个组的组播源让不同域内的所有RP知悉。 从外部MSDP配置的对等路由器接收到包含压缩的IGMP数据的MSDP报文时,可造成受影响设备重载。如果该路由器明确的加入了组播组,才可利用此漏洞。MSDP报文目标地址是单一传播,可发往受影响设备上的任何IP地址,包括回送地址。通行报文不会触发此漏洞。 0 Cisco IOS 15.x 厂商补丁: Cisco ----- Cisco已经为此发布了一个安全公告(cisco-sa-20120328-msdp)以及相应补丁: cisco-sa-20120328-msdp:Cisco IOS Software Multicast Source Discovery Protocol Vulnerability 链接:http://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20120328-msdp
idSSV:60013
last seen2017-11-19
modified2012-03-29
published2012-03-29
reporterRoot
titleCisco IOS 15.x组播源发现协议远程拒绝服务漏洞