Vulnerabilities > CVE-2013-5475 - Improper Input Validation vulnerability in Cisco IOS and 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-20
nessus

Summary

Cisco IOS 12.2 through 12.4 and 15.0 through 15.3, and IOS XE 2.1 through 3.9, allows remote attackers to cause a denial of service (device reload) via crafted DHCP packets that are processed locally by a (1) server or (2) relay agent, aka Bug ID CSCug31561.

Common Weakness Enumeration (CWE)

Common Attack Pattern Enumeration and Classification (CAPEC)

  • Buffer Overflow via Environment Variables
    This attack pattern involves causing a buffer overflow through manipulation of environment variables. Once the attacker finds that they can modify an environment variable, they may try to overflow associated buffers. This attack leverages implicit trust often placed in environment variables.
  • Server Side Include (SSI) Injection
    An attacker can use Server Side Include (SSI) Injection to send code to a web application that then gets executed by the web server. Doing so enables the attacker to achieve similar results to Cross Site Scripting, viz., arbitrary code execution and information disclosure, albeit on a more limited scale, since the SSI directives are nowhere near as powerful as a full-fledged scripting language. Nonetheless, the attacker can conveniently gain access to sensitive files, such as password files, and execute shell commands.
  • Cross Zone Scripting
    An attacker is able to cause a victim to load content into their web-browser that bypasses security zone controls and gain access to increased privileges to execute scripting code or other web objects such as unsigned ActiveX controls or applets. This is a privilege elevation attack targeted at zone-based web-browser security. In a zone-based model, pages belong to one of a set of zones corresponding to the level of privilege assigned to that page. Pages in an untrusted zone would have a lesser level of access to the system and/or be restricted in the types of executable content it was allowed to invoke. In a cross-zone scripting attack, a page that should be assigned to a less privileged zone is granted the privileges of a more trusted zone. This can be accomplished by exploiting bugs in the browser, exploiting incorrect configuration in the zone controls, through a cross-site scripting attack that causes the attackers' content to be treated as coming from a more trusted page, or by leveraging some piece of system functionality that is accessible from both the trusted and less trusted zone. This attack differs from "Restful Privilege Escalation" in that the latter correlates to the inadequate securing of RESTful access methods (such as HTTP DELETE) on the server, while cross-zone scripting attacks the concept of security zones as implemented by a browser.
  • Cross Site Scripting through Log Files
    An attacker may leverage a system weakness where logs are susceptible to log injection to insert scripts into the system's logs. If these logs are later viewed by an administrator through a thin administrative interface and the log data is not properly HTML encoded before being written to the page, the attackers' scripts stored in the log will be executed in the administrative interface with potentially serious consequences. This attack pattern is really a combination of two other attack patterns: log injection and stored cross site scripting.
  • Command Line Execution through SQL Injection
    An attacker uses standard SQL injection methods to inject data into the command line for execution. This could be done directly through misuse of directives such as MSSQL_xp_cmdshell or indirectly through injection of data into the database that would be interpreted as shell commands. Sometime later, an unscrupulous backend application (or could be part of the functionality of the same application) fetches the injected data stored in the database and uses this data as command line arguments without performing proper validation. The malicious data escapes that data plane by spawning new commands to be executed on the host.

Nessus

  • NASL familyCISCO
    NASL idCISCO-SA-20130925-DHCP-IOSXE.NASL
    descriptionA vulnerability in the DHCP implementation of Cisco IOS XE Software allows an unauthenticated, remote attacker to cause a denial of service (DoS) condition. The vulnerability occurs during the parsing of crafted DHCP packets. An attacker can exploit this vulnerability by sending crafted DHCP packets to an affected device that has the DHCP server or DHCP relay feature enabled. An exploit allows the attacker to cause a reload of an affected device. Cisco has released free software updates that address this vulnerability. There are no workarounds to mitigate this vulnerability.
    last seen2019-10-28
    modified2013-10-07
    plugin id70315
    published2013-10-07
    reporterThis script is Copyright (C) 2013-2018 Tenable Network Security, Inc.
    sourcehttps://www.tenable.com/plugins/nessus/70315
    titleCisco IOS XE Software DHCP Denial of Service Vulnerability (cisco-sa-20130925-dhcp)
    code
    #TRUSTED 1a46586e503bd00547c1d5fa47c9a57239d44a0befdec866c65aa398e66a0c44f148d3f82ce2b758dee0743db8655bebac1dc2884cf11a05c9363c9b3885dce69340b50cea32d0d62a69d0b0d02977f96404e6c0f972163c1ebc9210a0d788f18dddfebc1b1f86f2d13ba458dfbf077a5fcc2d2d47c31a6ca0321d210b82986082769330b1c76b7723c44f3948b19ac2c4635bad5b9b45b060ab066c12d9d73b77c798698a56e035893c8e08cfa8c0b426d1e75879e959d28b4eecc719a9ce0fce0f289cdacc6beb163b61205c6f6075fee09de4beb0c593fee5458b75c2872fbf59d11f38ee93e4f479128eff5ae808ad74c3c57b6ca3f964876865f13b6cfd5135d8e82b47f057d8681d3b6a6138ed381b8884e35f325b2d8c81cb292c7f8c3fde20de4686425272fd0d4400e2e4e2ed214e29bd59f81ae883db5de7b0660306fc6e5f590341d0687a1dca643101ab115590e192643fbcd928359acf26c8e8a13fced7b2de228b354cac61a8c85eb4ddbfd960fd945c35718d9b148821dde4781c14d52242221215fecfd9e14a5cdb5623ed92ff50e79f2889e63a38ae5892d955be7f2db4e99a3dd6e1bdfad2f3fb2f1d1670d61ae5519c05d846ef22a994c8942a5740406420ddb31d55ae18f1ab220849e5c56c532b3e6a3706f3d4f9af8b5f23183c20e699f551b336b871e89ca2095e1d5984b8b8fcad7fdc2843ba89
    #
    # (C) Tenable Network Security, Inc.
    #
    # The descriptive text and package checks in this plugin were
    # extracted from Cisco Security Advisory cisco-sa-20130925-dhcp.
    # The text itself is copyright (C) Cisco
    #
    
    include("compat.inc");
    
    if (description)
    {
      script_id(70315);
      script_version("1.15");
      script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15");
    
      script_cve_id("CVE-2013-5475");
      script_bugtraq_id(62644);
      script_xref(name:"CISCO-BUG-ID", value:"CSCug31561");
      script_xref(name:"CISCO-SA", value:"cisco-sa-20130925-dhcp");
    
      script_name(english:"Cisco IOS XE Software DHCP Denial of Service Vulnerability (cisco-sa-20130925-dhcp)");
      script_summary(english:"Checks the IOS XE version.");
    
      script_set_attribute(attribute:"synopsis", value:"The remote device is missing a vendor-supplied security patch.");
      script_set_attribute(
        attribute:"description",
        value:
    "A vulnerability in the DHCP implementation of Cisco IOS XE Software
    allows an unauthenticated, remote attacker to cause a denial of
    service (DoS) condition. The vulnerability occurs during the parsing
    of crafted DHCP packets. An attacker can exploit this vulnerability by
    sending crafted DHCP packets to an affected device that has the DHCP
    server or DHCP relay feature enabled. An exploit allows the attacker
    to cause a reload of an affected device. Cisco has released free
    software updates that address this vulnerability. There are no
    workarounds to mitigate this vulnerability."
      );
      # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20130925-dhcp
      script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?6378bd7b");
      script_set_attribute(attribute:"solution", value:
    "Apply the relevant patch referenced in Cisco security advisory
    cisco-sa-20130925-dhcp."
      );
      script_set_cvss_base_vector("CVSS2#AV:N/AC:L/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:"vuln_publication_date", value:"2013/09/25");
      script_set_attribute(attribute:"patch_publication_date", value:"2013/09/24");
      script_set_attribute(attribute:"plugin_publication_date", value:"2013/10/07");
    
      script_set_attribute(attribute:"plugin_type", value:"local");
      script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios_xe");
      script_end_attributes();
    
      script_category(ACT_GATHER_INFO);
      script_copyright(english:"This script is Copyright (C) 2013-2018 Tenable Network Security, Inc.");
      script_family(english:"CISCO");
    
      script_dependencies("cisco_ios_xe_version.nasl");
      script_require_keys("Host/Cisco/IOS-XE/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-XE/Version");
    if(version =~ '^2\\.1([^0-9]|$)') flag++;
    else if(version =~ '^2\\.2([^0-9]|$)') flag++;
    else if(version =~ '^2\\.3([^0-9]|$)') flag++;
    else if(version =~ '^2\\.4([^0-9]|$)') flag++;
    else if(version =~ '^2\\.5([^0-9]|$)') flag++;
    else if(version =~ '^2\\.6([^0-9]|$)') flag++;
    else if(version =~ '^3\\.1(\\.[0-9]+)?S$') flag++;
    else if(version =~ '^3\\.1(\\.[0-9]+)?SG$') flag++;
    else if(version =~ '^3\\.2(\\.[0-9]+)?S$') flag++;
    else if((version =~ '^3\\.2(\\.[0-9]+)?SE$') && (cisco_gen_ver_compare(a:version,b:'3.2.3SE') == -1)) flag++;
    else if(version =~ '^3\\.2(\\.[0-9]+)?SG$') flag++;
    else if(version =~ '^3\\.2(\\.[0-9]+)?XO$') flag++;
    else if(version =~ '^3\\.3(\\.[0-9]+)?S$') flag++;
    else if(version =~ '^3\\.3(\\.[0-9]+)?SG$') flag++;
    else if((version =~ '^3\\.4(\\.[0-9]+)?S$') && (cisco_gen_ver_compare(a:version,b:'3.4.6S') == -1)) flag++;
    else if((version =~ '^3\\.4(\\.[0-9]+)?SG$') && (cisco_gen_ver_compare(a:version,b:'3.4.1SG') == -1)) flag++;
    else if(version =~ '^3\\.5(\\.[0-9]+)?S$') flag++;
    else if(version =~ '^3\\.6(\\.[0-9]+)?S$') flag++;
    else if((version =~ '^3\\.7(\\.[0-9]+)?S$') && (cisco_gen_ver_compare(a:version,b:'3.7.2tS') == -1)) flag++;
    else if(version =~ '^3\\.8(\\.[0-9]+)?S$') flag++;
    else if((version =~ '^3\\.9(\\.[0-9]+)?S$') && (cisco_gen_ver_compare(a:version,b:'3.9.2S') == -1)) flag++;
    
    if (get_kb_item("Host/local_checks_enabled"))
    {
    
      if (flag)
      {
      flag = 0;
        buf = cisco_command_kb_item("Host/Cisco/Config/show_ip_dhcp_pool", "show ip dhcp pool");
        if (check_cisco_result(buf))
        {
          if (preg(pattern:"[Aa]ddresses", multiline:TRUE, string:buf)) { flag = 1; }
        } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }
      }
    
      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:"ip helper-address", multiline:TRUE, string:buf)) { flag = 1; }
          if (preg(pattern:"ip dhcp pool", 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");
    
  • NASL familyCISCO
    NASL idCISCO-SA-20130925-DHCP.NASL
    descriptionA vulnerability exists in the DHCP implementation of Cisco IOS Software that could allow an unauthenticated, remote attacker to cause a denial of service (DoS) condition. The vulnerability occurs during the parsing of crafted DHCP packets. An attacker could exploit this vulnerability by sending crafted DHCP packets to an affected device that has the DHCP server or DHCP relay feature enabled. An exploit could allow the attacker to cause a reload of an affected device. Cisco has released free software updates that address this vulnerability. There are no workarounds to this vulnerability.
    last seen2019-10-28
    modified2013-10-07
    plugin id70316
    published2013-10-07
    reporterThis script is Copyright (C) 2013-2018 Tenable Network Security, Inc.
    sourcehttps://www.tenable.com/plugins/nessus/70316
    titleCisco IOS Software DHCP Denial of Service Vulnerability (cisco-sa-20130925-dhcp)
    code
    #TRUSTED ad6881ce97a32610460e4b8f56ff2e24807b4e07bf1ef37e0ec159bbce6bf6ba26186d944efa12fb683eeea8481bf96a67b946bdd29ac467deb9d19289a81a01c4d25a4eea93a975ada5f0f612cbcecd911c0d528d418d714235c24c02c9b6cb320f0f08ab22088fc2fb88a341b75c43f78d046e0b1a3b1c60eed7944147b55dcb274886b2dde4541e1c7cbd17e0c20834183343c24f114d295ef32832018aa9589fc72dbc3fa9a61b1499cdfbefc2b1c801a1c499d39536f50b3d4f4ba8c81ae720550c4de38536af75f310dc723cd9981a4b1ac7571cbf6293ef5d35ca713b4f359eecf2200bb12f09b79a6f07573358331e5a27a60ccb2104b8911a21264cd9cdf4a2820705eaea860c7f8295d94efd8cf3674b56dabd7c37856b4471b6100ca006e2a5fdbb51b74e53adba8631894bb4f33069e828736de0fa96ed01af799c11add17fdbc88396ccb0b8896cdfc5135dd6eab998aebdc48288d3c2989d124d89f2ec9a8709112d8924ea8df87245dab0343abc926cd581f3bc4792f7c8892173d1471be3bcc79e30a33800d1bfe9ee16afea1bb3ee4c7555a1577bee6acce059594f7169fc8573cc0c52a075e5d2c38ba596d791e5e6a410a4854662627efd7a2545d6ef88d0f5fd60418b68b8f6b4901b7b68d5a6bb7260c7f6debf91228ae000669d56ffa2c3c10dc4ad0f265a1ec14bc3b5fbbd90cf2c83aba2ae34ff
    #
    # (C) Tenable Network Security, Inc.
    #
    # The descriptive text and package checks in this plugin were
    # extracted from Cisco Security Advisory cisco-sa-20130925-dhcp.
    # The text itself is copyright (C) Cisco
    #
    
    include("compat.inc");
    
    if (description)
    {
      script_id(70316);
      script_version("1.15");
      script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15");
    
      script_cve_id("CVE-2013-5475");
      script_bugtraq_id(62644);
      script_xref(name:"CISCO-BUG-ID", value:"CSCug31561");
      script_xref(name:"CISCO-SA", value:"cisco-sa-20130925-dhcp");
    
      script_name(english:"Cisco IOS Software DHCP Denial of Service Vulnerability (cisco-sa-20130925-dhcp)");
      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:
    "A vulnerability exists in the DHCP implementation of Cisco IOS
    Software that could allow an unauthenticated, remote attacker to cause
    a denial of service (DoS) condition. The vulnerability occurs during
    the parsing of crafted DHCP packets. An attacker could exploit this
    vulnerability by sending crafted DHCP packets to an affected device
    that has the DHCP server or DHCP relay feature enabled. An exploit
    could allow the attacker to cause a reload of an affected device.
    Cisco has released free software updates that address this
    vulnerability. There are no workarounds to this vulnerability."
      );
      # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20130925-dhcp
      script_set_attribute(
        attribute:"see_also",
        value:"http://www.nessus.org/u?6378bd7b"
      );
      script_set_attribute(
        attribute:"solution",
        value:
    "Apply the relevant patch referenced in Cisco Security Advisory
    cisco-sa-20130925-dhcp."
      );
      script_set_cvss_base_vector("CVSS2#AV:N/AC:L/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:"2013/09/25");
      script_set_attribute(attribute:"patch_publication_date", value:"2013/09/24");
      script_set_attribute(attribute:"plugin_publication_date", value:"2013/10/07");
    
      script_end_attributes();
    
      script_category(ACT_GATHER_INFO);
      script_copyright(english:"This script is Copyright (C) 2013-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)T' ) flag++;
    if ( version == '12.0(1)XE' ) 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(2a)T1' ) 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(4)T' ) flag++;
    if ( version == '12.0(4)T1' ) flag++;
    if ( version == '12.0(4)XE' ) flag++;
    if ( version == '12.0(4)XE1' ) flag++;
    if ( version == '12.0(4)XE2' ) flag++;
    if ( version == '12.0(5)T' ) flag++;
    if ( version == '12.0(5)T1' ) flag++;
    if ( version == '12.0(5)T2' ) flag++;
    if ( version == '12.0(5)WC10' ) flag++;
    if ( version == '12.0(5)WC11' ) flag++;
    if ( version == '12.0(5)WC12' ) flag++;
    if ( version == '12.0(5)WC13' ) flag++;
    if ( version == '12.0(5)WC14' ) flag++;
    if ( version == '12.0(5)WC15' ) flag++;
    if ( version == '12.0(5)WC16' ) flag++;
    if ( version == '12.0(5)WC17' ) flag++;
    if ( version == '12.0(5)WC3a' ) flag++;
    if ( version == '12.0(5)WC4' ) flag++;
    if ( version == '12.0(5)WC4a' ) flag++;
    if ( version == '12.0(5)WC5' ) flag++;
    if ( version == '12.0(5)WC5a' ) flag++;
    if ( version == '12.0(5)WC6' ) flag++;
    if ( version == '12.0(5)WC7' ) flag++;
    if ( version == '12.0(5)WC8' ) flag++;
    if ( version == '12.0(5)WC9' ) flag++;
    if ( version == '12.0(5)WC9a' ) flag++;
    if ( version == '12.0(5)XE' ) flag++;
    if ( version == '12.0(5)XE1' ) flag++;
    if ( version == '12.0(5)XE2' ) flag++;
    if ( version == '12.0(5)XE3' ) flag++;
    if ( version == '12.0(5)XE4' ) flag++;
    if ( version == '12.0(5)XE5' ) flag++;
    if ( version == '12.0(5)XE6' ) flag++;
    if ( version == '12.0(5)XE7' ) flag++;
    if ( version == '12.0(5)XE8' ) flag++;
    if ( version == '12.0(5)XK' ) flag++;
    if ( version == '12.0(5)XK1' ) flag++;
    if ( version == '12.0(5)XK2' ) flag++;
    if ( version == '12.0(5)XT1' ) 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.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)EV' ) flag++;
    if ( version == '12.1(10)EV1' ) flag++;
    if ( version == '12.1(10)EV1a' ) flag++;
    if ( version == '12.1(10)EV1b' ) flag++;
    if ( version == '12.1(10)EV2' ) flag++;
    if ( version == '12.1(10)EV3' ) flag++;
    if ( version == '12.1(10)EV4' ) flag++;
    if ( version == '12.1(10)EX' ) flag++;
    if ( version == '12.1(10)EX1' ) flag++;
    if ( version == '12.1(10)EX2' ) flag++;
    if ( version == '12.1(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)E3' ) flag++;
    if ( version == '12.1(12c)E4' ) flag++;
    if ( version == '12.1(12c)E5' ) flag++;
    if ( version == '12.1(12c)E6' ) flag++;
    if ( version == '12.1(12c)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)EV' ) flag++;
    if ( version == '12.1(12c)EV1' ) flag++;
    if ( version == '12.1(12c)EV2' ) flag++;
    if ( version == '12.1(12c)EV3' ) flag++;
    if ( version == '12.1(12c)EW' ) flag++;
    if ( version == '12.1(12c)EW1' ) flag++;
    if ( version == '12.1(12c)EW2' ) flag++;
    if ( version == '12.1(12c)EW3' ) flag++;
    if ( version == '12.1(12c)EW4' ) flag++;
    if ( version == '12.1(12c)EX' ) flag++;
    if ( version == '12.1(12c)EX1' ) flag++;
    if ( version == '12.1(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)EA1b' ) flag++;
    if ( version == '12.1(13)EA1c' ) flag++;
    if ( version == '12.1(13)EB' ) flag++;
    if ( version == '12.1(13)EB1' ) flag++;
    if ( version == '12.1(13)EC' ) flag++;
    if ( version == '12.1(13)EC1' ) flag++;
    if ( version == '12.1(13)EC2' ) flag++;
    if ( version == '12.1(13)EC3' ) flag++;
    if ( version == '12.1(13)EC4' ) flag++;
    if ( version == '12.1(13)EW' ) flag++;
    if ( version == '12.1(13)EW1' ) flag++;
    if ( version == '12.1(13)EW2' ) flag++;
    if ( version == '12.1(13)EW3' ) flag++;
    if ( version == '12.1(13)EW4' ) flag++;
    if ( version == '12.1(13)EX' ) flag++;
    if ( version == '12.1(13)EX1' ) flag++;
    if ( version == '12.1(13)EX2' ) flag++;
    if ( version == '12.1(13)EX3' ) flag++;
    if ( version == '12.1(13a)' ) flag++;
    if ( version == '12.1(14)' ) flag++;
    if ( version == '12.1(14)AZ' ) flag++;
    if ( version == '12.1(14)E' ) flag++;
    if ( version == '12.1(14)E1' ) flag++;
    if ( version == '12.1(14)E10' ) flag++;
    if ( version == '12.1(14)E2' ) flag++;
    if ( version == '12.1(14)E3' ) flag++;
    if ( version == '12.1(14)E4' ) flag++;
    if ( version == '12.1(14)E5' ) flag++;
    if ( version == '12.1(14)E6' ) flag++;
    if ( version == '12.1(14)E7' ) flag++;
    if ( version == '12.1(14)E8' ) flag++;
    if ( version == '12.1(14)EA1' ) flag++;
    if ( version == '12.1(14)EA1a' ) flag++;
    if ( version == '12.1(14)EA1b' ) flag++;
    if ( version == '12.1(14)EB' ) flag++;
    if ( version == '12.1(14)EB1' ) flag++;
    if ( version == '12.1(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)EA10a' ) flag++;
    if ( version == '12.1(22)EA10b' ) flag++;
    if ( version == '12.1(22)EA11' ) flag++;
    if ( version == '12.1(22)EA12' ) flag++;
    if ( version == '12.1(22)EA13' ) flag++;
    if ( version == '12.1(22)EA14' ) flag++;
    if ( version == '12.1(22)EA1a' ) flag++;
    if ( version == '12.1(22)EA1b' ) flag++;
    if ( version == '12.1(22)EA2' ) flag++;
    if ( version == '12.1(22)EA3' ) flag++;
    if ( version == '12.1(22)EA4' ) flag++;
    if ( version == '12.1(22)EA4a' ) flag++;
    if ( version == '12.1(22)EA5' ) flag++;
    if ( version == '12.1(22)EA5a' ) flag++;
    if ( version == '12.1(22)EA6' ) flag++;
    if ( version == '12.1(22)EA6a' ) flag++;
    if ( version == '12.1(22)EA7' ) flag++;
    if ( version == '12.1(22)EA8' ) flag++;
    if ( version == '12.1(22)EA8a' ) flag++;
    if ( version == '12.1(22)EA9' ) flag++;
    if ( version == '12.1(22)EB' ) flag++;
    if ( version == '12.1(22)EC' ) flag++;
    if ( version == '12.1(22)EC1' ) flag++;
    if ( version == '12.1(22a)' ) flag++;
    if ( version == '12.1(22b)' ) flag++;
    if ( version == '12.1(22c)' ) flag++;
    if ( version == '12.1(23)E' ) flag++;
    if ( version == '12.1(23)E1' ) flag++;
    if ( version == '12.1(23)E2' ) flag++;
    if ( version == '12.1(23)E3' ) flag++;
    if ( version == '12.1(23)E4' ) flag++;
    if ( version == '12.1(23)EB' ) flag++;
    if ( version == '12.1(24)' ) flag++;
    if ( version == '12.1(25)' ) flag++;
    if ( version == '12.1(26)' ) flag++;
    if ( version == '12.1(26)E' ) flag++;
    if ( version == '12.1(26)E1' ) flag++;
    if ( version == '12.1(26)E2' ) flag++;
    if ( version == '12.1(26)E3' ) flag++;
    if ( version == '12.1(26)E4' ) flag++;
    if ( version == '12.1(26)E5' ) flag++;
    if ( version == '12.1(26)E6' ) flag++;
    if ( version == '12.1(26)E7' ) flag++;
    if ( version == '12.1(26)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)E2' ) 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)YB2' ) 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(5a)E6' ) 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)EX' ) flag++;
    if ( version == '12.1(5c)EX1' ) flag++;
    if ( version == '12.1(5c)EX2' ) 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)E10' ) 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)E7' ) 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(6)EX' ) 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)EX4' ) 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)JA' ) flag++;
    if ( version == '12.2(11)JA1' ) flag++;
    if ( version == '12.2(11)JA2' ) flag++;
    if ( version == '12.2(11)JA3' ) flag++;
    if ( version == '12.2(11)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)JA' ) flag++;
    if ( version == '12.2(13)JA1' ) flag++;
    if ( version == '12.2(13)JA2' ) flag++;
    if ( version == '12.2(13)JA3' ) flag++;
    if ( version == '12.2(13)JA4' ) flag++;
    if ( version == '12.2(13)T' ) flag++;
    if ( version == '12.2(13)T1' ) flag++;
    if ( version == '12.2(13)T10' ) flag++;
    if ( version == '12.2(13)T11' ) flag++;
    if ( version == '12.2(13)T12' ) flag++;
    if ( version == '12.2(13)T13' ) flag++;
    if ( version == '12.2(13)T14' ) flag++;
    if ( version == '12.2(13)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)ZA1' ) flag++;
    if ( version == '12.2(14)ZA2' ) flag++;
    if ( version == '12.2(14)ZA3' ) flag++;
    if ( version == '12.2(14)ZA4' ) flag++;
    if ( version == '12.2(14)ZA5' ) flag++;
    if ( version == '12.2(14)ZA6' ) flag++;
    if ( version == '12.2(14)ZA7' ) flag++;
    if ( version == '12.2(15)B' ) flag++;
    if ( version == '12.2(15)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)JA' ) flag++;
    if ( version == '12.2(15)JK' ) flag++;
    if ( version == '12.2(15)JK1' ) flag++;
    if ( version == '12.2(15)JK2' ) flag++;
    if ( version == '12.2(15)JK3' ) flag++;
    if ( version == '12.2(15)JK4' ) flag++;
    if ( version == '12.2(15)JK5' ) flag++;
    if ( version == '12.2(15)MC1' ) flag++;
    if ( version == '12.2(15)MC1a' ) flag++;
    if ( version == '12.2(15)MC1b' ) flag++;
    if ( version == '12.2(15)MC1c' ) flag++;
    if ( version == '12.2(15)MC2' ) flag++;
    if ( version == '12.2(15)MC2a' ) flag++;
    if ( version == '12.2(15)MC2b' ) flag++;
    if ( version == '12.2(15)MC2c' ) flag++;
    if ( version == '12.2(15)MC2e' ) flag++;
    if ( version == '12.2(15)MC2f' ) flag++;
    if ( version == '12.2(15)MC2g' ) flag++;
    if ( version == '12.2(15)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)XR' ) flag++;
    if ( version == '12.2(15)XR1' ) flag++;
    if ( version == '12.2(15)XR2' ) flag++;
    if ( version == '12.2(15)ZJ' ) flag++;
    if ( version == '12.2(15)ZJ1' ) flag++;
    if ( version == '12.2(15)ZJ2' ) flag++;
    if ( version == '12.2(15)ZJ3' ) flag++;
    if ( version == '12.2(15)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)SV' ) flag++;
    if ( version == '12.2(18)SV1' ) flag++;
    if ( version == '12.2(18)SV2' ) flag++;
    if ( version == '12.2(18)SV3' ) flag++;
    if ( version == '12.2(18)SW' ) flag++;
    if ( version == '12.2(18)SXD' ) flag++;
    if ( version == '12.2(18)SXD1' ) flag++;
    if ( version == '12.2(18)SXD2' ) flag++;
    if ( version == '12.2(18)SXD3' ) flag++;
    if ( version == '12.2(18)SXD4' ) flag++;
    if ( version == '12.2(18)SXD5' ) flag++;
    if ( version == '12.2(18)SXD6' ) flag++;
    if ( version == '12.2(18)SXD7' ) flag++;
    if ( version == '12.2(18)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)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)SE2' ) 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)SV' ) flag++;
    if ( version == '12.2(22)SV1' ) flag++;
    if ( version == '12.2(23)' ) flag++;
    if ( version == '12.2(23)SV' ) flag++;
    if ( version == '12.2(23)SV1' ) flag++;
    if ( version == '12.2(23)SW' ) flag++;
    if ( version == '12.2(23)SW1' ) flag++;
    if ( version == '12.2(23a)' ) flag++;
    if ( version == '12.2(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)SV' ) flag++;
    if ( version == '12.2(24)SV1' ) flag++;
    if ( version == '12.2(24a)' ) flag++;
    if ( version == '12.2(24b)' ) flag++;
    if ( version == '12.2(25)EW' ) flag++;
    if ( version == '12.2(25)EWA' ) flag++;
    if ( version == '12.2(25)EWA1' ) flag++;
    if ( version == '12.2(25)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)FX' ) flag++;
    if ( version == '12.2(25)FY' ) flag++;
    if ( version == '12.2(25)FZ' ) flag++;
    if ( version == '12.2(25)S' ) flag++;
    if ( version == '12.2(25)S1' ) flag++;
    if ( version == '12.2(25)S10' ) flag++;
    if ( version == '12.2(25)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)SE2' ) flag++;
    if ( version == '12.2(25)SE3' ) flag++;
    if ( version == '12.2(25)SEA' ) flag++;
    if ( version == '12.2(25)SEB' ) flag++;
    if ( version == '12.2(25)SEB1' ) flag++;
    if ( version == '12.2(25)SEB2' ) flag++;
    if ( version == '12.2(25)SEB3' ) flag++;
    if ( version == '12.2(25)SEB4' ) flag++;
    if ( version == '12.2(25)SEC' ) flag++;
    if ( version == '12.2(25)SEC1' ) flag++;
    if ( version == '12.2(25)SEC2' ) flag++;
    if ( version == '12.2(25)SED' ) flag++;
    if ( version == '12.2(25)SED1' ) flag++;
    if ( version == '12.2(25)SEE' ) flag++;
    if ( version == '12.2(25)SEE1' ) flag++;
    if ( version == '12.2(25)SEE2' ) flag++;
    if ( version == '12.2(25)SEE3' ) flag++;
    if ( version == '12.2(25)SEE4' ) flag++;
    if ( version == '12.2(25)SEF' ) flag++;
    if ( version == '12.2(25)SEF1' ) flag++;
    if ( version == '12.2(25)SEF2' ) flag++;
    if ( version == '12.2(25)SEF3' ) flag++;
    if ( version == '12.2(25)SEG' ) flag++;
    if ( version == '12.2(25)SEG1' ) flag++;
    if ( version == '12.2(25)SEG2' ) flag++;
    if ( version == '12.2(25)SEG3' ) flag++;
    if ( version == '12.2(25)SEG4' ) flag++;
    if ( version == '12.2(25)SEG5' ) flag++;
    if ( version == '12.2(25)SEG6' ) 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)SV' ) flag++;
    if ( version == '12.2(25)SV2' ) flag++;
    if ( version == '12.2(25)SV3' ) flag++;
    if ( version == '12.2(25)SW' ) 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(26)SV' ) flag++;
    if ( version == '12.2(26)SV1' ) flag++;
    if ( version == '12.2(26a)' ) flag++;
    if ( version == '12.2(26b)' ) flag++;
    if ( version == '12.2(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)SV' ) flag++;
    if ( version == '12.2(29)SV1' ) flag++;
    if ( version == '12.2(29)SV2' ) 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(30)S' ) flag++;
    if ( version == '12.2(30)S1' ) 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)IRH1' ) flag++;
    if ( version == '12.2(33)IRI' ) 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)SB12' ) flag++;
    if ( version == '12.2(33)SB13' ) flag++;
    if ( version == '12.2(33)SB14' ) 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)SB8g' ) 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)SCE5' ) flag++;
    if ( version == '12.2(33)SCE6' ) flag++;
    if ( version == '12.2(33)SCF' ) flag++;
    if ( version == '12.2(33)SCF1' ) flag++;
    if ( version == '12.2(33)SCF2' ) flag++;
    if ( version == '12.2(33)SCF3' ) flag++;
    if ( version == '12.2(33)SCF4' ) flag++;
    if ( version == '12.2(33)SCF5' ) flag++;
    if ( version == '12.2(33)SCG' ) flag++;
    if ( version == '12.2(33)SCG1' ) flag++;
    if ( version == '12.2(33)SCG2' ) flag++;
    if ( version == '12.2(33)SCG3' ) flag++;
    if ( version == '12.2(33)SCG4' ) flag++;
    if ( version == '12.2(33)SCG5' ) flag++;
    if ( version == '12.2(33)SCH' ) 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)SRD8' ) 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)SRE5' ) flag++;
    if ( version == '12.2(33)SRE6' ) flag++;
    if ( version == '12.2(33)SRE7' ) flag++;
    if ( version == '12.2(33)SRE7a' ) flag++;
    if ( version == '12.2(33)SRE8' ) flag++;
    if ( version == '12.2(33)STE0' ) 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)SXI10' ) flag++;
    if ( version == '12.2(33)SXI11' ) 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)SXI9' ) flag++;
    if ( version == '12.2(33)SXI9a' ) flag++;
    if ( version == '12.2(33)SXJ' ) flag++;
    if ( version == '12.2(33)SXJ1' ) flag++;
    if ( version == '12.2(33)SXJ2' ) flag++;
    if ( version == '12.2(33)SXJ3' ) flag++;
    if ( version == '12.2(33)SXJ4' ) flag++;
    if ( version == '12.2(33)SXJ5' ) flag++;
    if ( version == '12.2(33)XN' ) flag++;
    if ( version == '12.2(33)XN1' ) flag++;
    if ( version == '12.2(33)XNA1' ) 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)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)EX' ) flag++;
    if ( version == '12.2(35)EX1' ) flag++;
    if ( version == '12.2(35)EX2' ) 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)EX' ) flag++;
    if ( version == '12.2(37)EY' ) 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)JA' ) flag++;
    if ( version == '12.2(4)JA1' ) flag++;
    if ( version == '12.2(4)MB1' ) flag++;
    if ( version == '12.2(4)MB10' ) flag++;
    if ( version == '12.2(4)MB11' ) flag++;
    if ( version == '12.2(4)MB12' ) flag++;
    if ( version == '12.2(4)MB13' ) flag++;
    if ( version == '12.2(4)MB13a' ) flag++;
    if ( version == '12.2(4)MB13b' ) flag++;
    if ( version == '12.2(4)MB13c' ) flag++;
    if ( version == '12.2(4)MB2' ) flag++;
    if ( version == '12.2(4)MB3' ) flag++;
    if ( version == '12.2(4)MB4' ) flag++;
    if ( version == '12.2(4)MB5' ) flag++;
    if ( version == '12.2(4)MB6' ) flag++;
    if ( version == '12.2(4)MB7' ) flag++;
    if ( version == '12.2(4)MB8' ) flag++;
    if ( version == '12.2(4)MB9' ) flag++;
    if ( version == '12.2(4)MB9a' ) flag++;
    if ( version == '12.2(4)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)SE2' ) 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)EX' ) flag++;
    if ( version == '12.2(44)EX1' ) 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)EY' ) flag++;
    if ( version == '12.2(46)SE' ) flag++;
    if ( version == '12.2(46)SE1' ) flag++;
    if ( version == '12.2(46)SE2' ) 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)SQ5' ) flag++;
    if ( version == '12.2(50)SY' ) flag++;
    if ( version == '12.2(50)SY1' ) flag++;
    if ( version == '12.2(50)SY2' ) flag++;
    if ( version == '12.2(50)SY3' ) flag++;
    if ( version == '12.2(50)SY4' ) 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)EY4' ) 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)EY' ) flag++;
    if ( version == '12.2(53)EZ' ) 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(53)SG7' ) flag++;
    if ( version == '12.2(53)SG8' ) flag++;
    if ( version == '12.2(53)SG9' ) 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)EX1' ) 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)EZ' ) flag++;
    if ( version == '12.2(55)SE' ) flag++;
    if ( version == '12.2(55)SE1' ) flag++;
    if ( version == '12.2(55)SE2' ) flag++;
    if ( version == '12.2(55)SE3' ) flag++;
    if ( version == '12.2(55)SE4' ) flag++;
    if ( version == '12.2(55)SE5' ) flag++;
    if ( version == '12.2(55)SE6' ) flag++;
    if ( version == '12.2(55)SE7' ) flag++;
    if ( version == '12.2(58)EX' ) flag++;
    if ( version == '12.2(58)EY' ) flag++;
    if ( version == '12.2(58)EY1' ) flag++;
    if ( version == '12.2(58)EY2' ) flag++;
    if ( version == '12.2(58)EZ' ) 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)JA' ) flag++;
    if ( version == '12.2(8)MC1' ) flag++;
    if ( version == '12.2(8)MC2' ) flag++;
    if ( version == '12.2(8)MC2a' ) flag++;
    if ( version == '12.2(8)MC2b' ) flag++;
    if ( version == '12.2(8)MC2c' ) flag++;
    if ( version == '12.2(8)MC2d' ) flag++;
    if ( version == '12.2(8)T' ) flag++;
    if ( version == '12.2(8)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)YO' ) flag++;
    if ( version == '12.2(9)YO1' ) flag++;
    if ( version == '12.2(9)YO2' ) flag++;
    if ( version == '12.2(9)YO3' ) flag++;
    if ( version == '12.2(9)YO4' ) flag++;
    if ( version == '12.2(9)ZA' ) flag++;
    if ( version == '12.2(99)SX1003' ) 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)JA' ) flag++;
    if ( version == '12.3(11)JA1' ) flag++;
    if ( version == '12.3(11)JA2' ) flag++;
    if ( version == '12.3(11)JA3' ) flag++;
    if ( version == '12.3(11)JA4' ) flag++;
    if ( version == '12.3(11)JX' ) flag++;
    if ( version == '12.3(11)JX1' ) flag++;
    if ( version == '12.3(11)T' ) flag++;
    if ( version == '12.3(11)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)JA' ) flag++;
    if ( version == '12.3(2)JA1' ) flag++;
    if ( version == '12.3(2)JA2' ) flag++;
    if ( version == '12.3(2)JA3' ) flag++;
    if ( version == '12.3(2)JA4' ) flag++;
    if ( version == '12.3(2)JA5' ) flag++;
    if ( version == '12.3(2)JA6' ) flag++;
    if ( version == '12.3(2)JK' ) flag++;
    if ( version == '12.3(2)JK1' ) flag++;
    if ( version == '12.3(2)JK2' ) flag++;
    if ( version == '12.3(2)JK3' ) flag++;
    if ( version == '12.3(2)JL' ) flag++;
    if ( version == '12.3(2)JL1' ) flag++;
    if ( version == '12.3(2)JL2' ) flag++;
    if ( version == '12.3(2)JL3' ) flag++;
    if ( version == '12.3(2)JL4' ) 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)XB2' ) 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)XT' ) flag++;
    if ( version == '12.3(2)XT1' ) flag++;
    if ( version == '12.3(2)XT2' ) flag++;
    if ( version == '12.3(2)XT3' ) 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)JA' ) flag++;
    if ( version == '12.3(4)JA1' ) flag++;
    if ( version == '12.3(4)JA2' ) flag++;
    if ( version == '12.3(4)T' ) flag++;
    if ( version == '12.3(4)T1' ) flag++;
    if ( version == '12.3(4)T10' ) flag++;
    if ( version == '12.3(4)T11' ) flag++;
    if ( version == '12.3(4)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)JA' ) flag++;
    if ( version == '12.3(7)JA1' ) flag++;
    if ( version == '12.3(7)JA2' ) flag++;
    if ( version == '12.3(7)JA3' ) flag++;
    if ( version == '12.3(7)JA4' ) flag++;
    if ( version == '12.3(7)JA5' ) flag++;
    if ( version == '12.3(7)JX' ) flag++;
    if ( version == '12.3(7)JX1' ) flag++;
    if ( version == '12.3(7)JX10' ) flag++;
    if ( version == '12.3(7)JX11' ) flag++;
    if ( version == '12.3(7)JX12' ) flag++;
    if ( version == '12.3(7)JX2' ) flag++;
    if ( version == '12.3(7)JX3' ) flag++;
    if ( version == '12.3(7)JX4' ) flag++;
    if ( version == '12.3(7)JX5' ) flag++;
    if ( version == '12.3(7)JX6' ) flag++;
    if ( version == '12.3(7)JX7' ) flag++;
    if ( version == '12.3(7)JX8' ) flag++;
    if ( version == '12.3(7)JX9' ) 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)JA' ) flag++;
    if ( version == '12.3(8)JA1' ) flag++;
    if ( version == '12.3(8)JA2' ) flag++;
    if ( version == '12.3(8)JEA' ) flag++;
    if ( version == '12.3(8)JEA1' ) flag++;
    if ( version == '12.3(8)JEA2' ) flag++;
    if ( version == '12.3(8)JEA3' ) flag++;
    if ( version == '12.3(8)JEB' ) flag++;
    if ( version == '12.3(8)JEB1' ) flag++;
    if ( version == '12.3(8)JEC' ) flag++;
    if ( version == '12.3(8)JEC1' ) flag++;
    if ( version == '12.3(8)JEC2' ) flag++;
    if ( version == '12.3(8)JEC3' ) flag++;
    if ( version == '12.3(8)JED' ) flag++;
    if ( version == '12.3(8)JED1' ) flag++;
    if ( version == '12.3(8)JEE' ) flag++;
    if ( version == '12.3(8)JK1' ) 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(10b)JA' ) flag++;
    if ( version == '12.4(10b)JA1' ) flag++;
    if ( version == '12.4(10b)JA2' ) flag++;
    if ( version == '12.4(10b)JA3' ) flag++;
    if ( version == '12.4(10b)JA4' ) flag++;
    if ( version == '12.4(10b)JDA' ) flag++;
    if ( version == '12.4(10b)JDA1' ) flag++;
    if ( version == '12.4(10b)JDA2' ) flag++;
    if ( version == '12.4(10b)JDA3' ) flag++;
    if ( version == '12.4(10b)JDC' ) flag++;
    if ( version == '12.4(10b)JDD' ) flag++;
    if ( version == '12.4(10b)JDE' ) flag++;
    if ( version == '12.4(10b)JX' ) flag++;
    if ( version == '12.4(10b)JY' ) 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(13d)JA' ) 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)SW8a' ) flag++;
    if ( version == '12.4(15)SW9' ) 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)T17' ) 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(16b)JA' ) flag++;
    if ( version == '12.4(16b)JA1' ) 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(18a)JA' ) flag++;
    if ( version == '12.4(18a)JA1' ) flag++;
    if ( version == '12.4(18a)JA2' ) flag++;
    if ( version == '12.4(18a)JA3' ) 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(19)MR3' ) 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)JA' ) flag++;
    if ( version == '12.4(21a)JA1' ) flag++;
    if ( version == '12.4(21a)JA2' ) flag++;
    if ( version == '12.4(21a)JHA' ) flag++;
    if ( version == '12.4(21a)JHB' ) flag++;
    if ( version == '12.4(21a)JHB1' ) flag++;
    if ( version == '12.4(21a)JHC' ) flag++;
    if ( version == '12.4(21a)JX' ) flag++;
    if ( version == '12.4(21a)JY' ) flag++;
    if ( version == '12.4(21a)JZ' ) 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(23c)JA' ) flag++;
    if ( version == '12.4(23c)JA1' ) flag++;
    if ( version == '12.4(23c)JA2' ) flag++;
    if ( version == '12.4(23c)JA3' ) flag++;
    if ( version == '12.4(23c)JA4' ) flag++;
    if ( version == '12.4(23c)JA5' ) flag++;
    if ( version == '12.4(23c)JA6' ) flag++;
    if ( version == '12.4(23c)JA7' ) flag++;
    if ( version == '12.4(23c)JX' ) flag++;
    if ( version == '12.4(23c)JY' ) flag++;
    if ( version == '12.4(23c)JZ' ) 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)GC5' ) 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)MD7' ) 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)MDA11' ) flag++;
    if ( version == '12.4(24)MDA12' ) flag++;
    if ( version == '12.4(24)MDA13' ) 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)MDB10' ) flag++;
    if ( version == '12.4(24)MDB11' ) flag++;
    if ( version == '12.4(24)MDB12' ) flag++;
    if ( version == '12.4(24)MDB13' ) flag++;
    if ( version == '12.4(24)MDB14' ) 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)MDB5a' ) flag++;
    if ( version == '12.4(24)MDB6' ) flag++;
    if ( version == '12.4(24)MDB7' ) flag++;
    if ( version == '12.4(24)MDB8' ) flag++;
    if ( version == '12.4(24)MDB9' ) 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)T31f' ) flag++;
    if ( version == '12.4(24)T32f' ) flag++;
    if ( version == '12.4(24)T33f' ) flag++;
    if ( version == '12.4(24)T34f' ) flag++;
    if ( version == '12.4(24)T35c' ) flag++;
    if ( version == '12.4(24)T35f' ) flag++;
    if ( version == '12.4(24)T3c' ) flag++;
    if ( version == '12.4(24)T3e' ) flag++;
    if ( version == '12.4(24)T3f' ) flag++;
    if ( version == '12.4(24)T3g' ) 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)T4d' ) flag++;
    if ( version == '12.4(24)T4e' ) flag++;
    if ( version == '12.4(24)T4f' ) flag++;
    if ( version == '12.4(24)T4g' ) flag++;
    if ( version == '12.4(24)T4h' ) flag++;
    if ( version == '12.4(24)T4i' ) flag++;
    if ( version == '12.4(24)T4j' ) flag++;
    if ( version == '12.4(24)T4k' ) flag++;
    if ( version == '12.4(24)T4l' ) flag++;
    if ( version == '12.4(24)T4m' ) flag++;
    if ( version == '12.4(24)T4n' ) flag++;
    if ( version == '12.4(24)T5' ) flag++;
    if ( version == '12.4(24)T6' ) flag++;
    if ( version == '12.4(24)T7' ) flag++;
    if ( version == '12.4(24)T8' ) flag++;
    if ( version == '12.4(24)T9' ) 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)YE3d' ) flag++;
    if ( version == '12.4(24)YE3e' ) 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(24)YG4' ) flag++;
    if ( version == '12.4(24)YS' ) flag++;
    if ( version == '12.4(24)YS1' ) 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(25d)JA' ) flag++;
    if ( version == '12.4(25d)JA1' ) flag++;
    if ( version == '12.4(25d)JA2' ) flag++;
    if ( version == '12.4(25d)JAX' ) flag++;
    if ( version == '12.4(25d)JAX1' ) flag++;
    if ( version == '12.4(25d)JB' ) flag++;
    if ( version == '12.4(25e)' ) flag++;
    if ( version == '12.4(25e)JA' ) flag++;
    if ( version == '12.4(25e)JA1' ) flag++;
    if ( version == '12.4(25e)JA2' ) flag++;
    if ( version == '12.4(25e)JAL' ) flag++;
    if ( version == '12.4(25e)JAL1' ) flag++;
    if ( version == '12.4(25e)JAL1a' ) flag++;
    if ( version == '12.4(25e)JAL2' ) flag++;
    if ( version == '12.4(25e)JAM' ) flag++;
    if ( version == '12.4(25e)JAM1' ) flag++;
    if ( version == '12.4(25e)JAZ' ) flag++;
    if ( version == '12.4(25e)JX' ) flag++;
    if ( version == '12.4(25f)' ) flag++;
    if ( version == '12.4(25g)' ) flag++;
    if ( version == '12.4(3)' ) flag++;
    if ( version == '12.4(3)JK' ) flag++;
    if ( version == '12.4(3)JK1' ) flag++;
    if ( version == '12.4(3)JK2' ) flag++;
    if ( version == '12.4(3)JK3' ) flag++;
    if ( version == '12.4(3)JK4' ) flag++;
    if ( version == '12.4(3)JL' ) flag++;
    if ( version == '12.4(3)JL1' ) flag++;
    if ( version == '12.4(3)JL2' ) 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(3g)JA' ) flag++;
    if ( version == '12.4(3g)JA1' ) flag++;
    if ( version == '12.4(3g)JA2' ) flag++;
    if ( version == '12.4(3g)JMA' ) flag++;
    if ( version == '12.4(3g)JMA1' ) flag++;
    if ( version == '12.4(3g)JMB' ) flag++;
    if ( version == '12.4(3g)JMC' ) flag++;
    if ( version == '12.4(3g)JMC1' ) flag++;
    if ( version == '12.4(3g)JMC2' ) flag++;
    if ( version == '12.4(3g)JX' ) flag++;
    if ( version == '12.4(3g)JX1' ) flag++;
    if ( version == '12.4(3g)JX2' ) 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)EX' ) flag++;
    if ( version == '15.0(1)EX1' ) flag++;
    if ( version == '15.0(1)EY' ) flag++;
    if ( version == '15.0(1)EY1' ) flag++;
    if ( version == '15.0(1)EY2' ) flag++;
    if ( version == '15.0(1)M' ) flag++;
    if ( version == '15.0(1)M1' ) flag++;
    if ( version == '15.0(1)M10' ) 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)M8' ) flag++;
    if ( version == '15.0(1)M9' ) 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)S5' ) flag++;
    if ( version == '15.0(1)S6' ) flag++;
    if ( version == '15.0(1)SE' ) flag++;
    if ( version == '15.0(1)SE1' ) flag++;
    if ( version == '15.0(1)SE2' ) flag++;
    if ( version == '15.0(1)SE3' ) flag++;
    if ( version == '15.0(1)SY' ) flag++;
    if ( version == '15.0(1)SY1' ) flag++;
    if ( version == '15.0(1)SY2' ) flag++;
    if ( version == '15.0(1)SY3' ) flag++;
    if ( version == '15.0(1)SY4' ) 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)EA' ) flag++;
    if ( version == '15.0(2)EB' ) flag++;
    if ( version == '15.0(2)EC' ) flag++;
    if ( version == '15.0(2)ED' ) flag++;
    if ( version == '15.0(2)EX' ) flag++;
    if ( version == '15.0(2)EY' ) flag++;
    if ( version == '15.0(2)EY1' ) flag++;
    if ( version == '15.0(2)EZ' ) flag++;
    if ( version == '15.0(2)MR' ) flag++;
    if ( version == '15.0(2)SE' ) flag++;
    if ( version == '15.0(2)SE1' ) flag++;
    if ( version == '15.0(2)SE2' ) flag++;
    if ( version == '15.0(2)SE3' ) flag++;
    if ( version == '15.0(2)SG' ) flag++;
    if ( version == '15.0(2)SG1' ) flag++;
    if ( version == '15.0(2)SG2' ) flag++;
    if ( version == '15.0(2)SG3' ) flag++;
    if ( version == '15.0(2)SG4' ) flag++;
    if ( version == '15.0(2)SG5' ) flag++;
    if ( version == '15.0(2)SG6' ) flag++;
    if ( version == '15.0(2)SG7' ) flag++;
    if ( version == '15.0(2)SQA' ) flag++;
    if ( version == '15.0(2)SQA1' ) flag++;
    if ( version == '15.0(2)SQA2' ) 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)MR3' ) flag++;
    if ( version == '15.1(1)MR4' ) flag++;
    if ( version == '15.1(1)MR5' ) flag++;
    if ( version == '15.1(1)MR6' ) 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)SG' ) flag++;
    if ( version == '15.1(1)SG1' ) flag++;
    if ( version == '15.1(1)SG2' ) flag++;
    if ( version == '15.1(1)SY' ) flag++;
    if ( version == '15.1(1)SY1' ) 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)T5' ) 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)EY1a' ) flag++;
    if ( version == '15.1(2)EY2' ) flag++;
    if ( version == '15.1(2)EY2a' ) flag++;
    if ( version == '15.1(2)EY3' ) flag++;
    if ( version == '15.1(2)EY4' ) flag++;
    if ( version == '15.1(2)GC' ) flag++;
    if ( version == '15.1(2)GC1' ) flag++;
    if ( version == '15.1(2)GC2' ) 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)SG' ) flag++;
    if ( version == '15.1(2)SNG' ) flag++;
    if ( version == '15.1(2)SNH' ) flag++;
    if ( version == '15.1(2)SNH1' ) flag++;
    if ( version == '15.1(2)SNI' ) flag++;
    if ( version == '15.1(2)SNI1' ) 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(2)T5' ) flag++;
    if ( version == '15.1(3)MR' ) flag++;
    if ( version == '15.1(3)MRA' ) flag++;
    if ( version == '15.1(3)MRA1' ) flag++;
    if ( version == '15.1(3)S' ) flag++;
    if ( version == '15.1(3)S0a' ) flag++;
    if ( version == '15.1(3)S1' ) flag++;
    if ( version == '15.1(3)S2' ) flag++;
    if ( version == '15.1(3)S3' ) flag++;
    if ( version == '15.1(3)S4' ) flag++;
    if ( version == '15.1(3)S5' ) flag++;
    if ( version == '15.1(3)S5a' ) flag++;
    if ( version == '15.1(3)SVB1' ) 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(3)T3' ) flag++;
    if ( version == '15.1(3)T4' ) flag++;
    if ( version == '15.1(4)GC' ) flag++;
    if ( version == '15.1(4)GC1' ) 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)M2' ) flag++;
    if ( version == '15.1(4)M3' ) flag++;
    if ( version == '15.1(4)M3a' ) flag++;
    if ( version == '15.1(4)M4' ) flag++;
    if ( version == '15.1(4)M5' ) flag++;
    if ( version == '15.1(4)M6' ) flag++;
    if ( version == '15.1(4)XB4' ) flag++;
    if ( version == '15.1(4)XB5' ) flag++;
    if ( version == '15.1(4)XB5a' ) flag++;
    if ( version == '15.1(4)XB6' ) flag++;
    if ( version == '15.1(4)XB7' ) flag++;
    if ( version == '15.1(4)XB8a' ) flag++;
    if ( version == '15.2(1)GC' ) flag++;
    if ( version == '15.2(1)GC1' ) flag++;
    if ( version == '15.2(1)GC2' ) flag++;
    if ( version == '15.2(1)S' ) flag++;
    if ( version == '15.2(1)S1' ) flag++;
    if ( version == '15.2(1)S2' ) flag++;
    if ( version == '15.2(1)SA' ) flag++;
    if ( version == '15.2(1)SB' ) flag++;
    if ( version == '15.2(1)SB1' ) flag++;
    if ( version == '15.2(1)SB3' ) flag++;
    if ( version == '15.2(1)SB4' ) flag++;
    if ( version == '15.2(1)SC1a' ) flag++;
    if ( version == '15.2(1)SC2' ) flag++;
    if ( version == '15.2(1)T' ) flag++;
    if ( version == '15.2(1)T1' ) flag++;
    if ( version == '15.2(1)T2' ) flag++;
    if ( version == '15.2(1)T3' ) flag++;
    if ( version == '15.2(1)T3a' ) flag++;
    if ( version == '15.2(1)T4' ) flag++;
    if ( version == '15.2(100)T' ) flag++;
    if ( version == '15.2(2)GC' ) flag++;
    if ( version == '15.2(2)JA' ) flag++;
    if ( version == '15.2(2)JA1' ) flag++;
    if ( version == '15.2(2)JAX' ) flag++;
    if ( version == '15.2(2)JB' ) flag++;
    if ( version == '15.2(2)JB1' ) flag++;
    if ( version == '15.2(2)S' ) flag++;
    if ( version == '15.2(2)S0a' ) flag++;
    if ( version == '15.2(2)S0c' ) flag++;
    if ( version == '15.2(2)S0d' ) flag++;
    if ( version == '15.2(2)S1' ) flag++;
    if ( version == '15.2(2)S2' ) flag++;
    if ( version == '15.2(2)SNG' ) flag++;
    if ( version == '15.2(2)SNH' ) flag++;
    if ( version == '15.2(2)SNH1' ) flag++;
    if ( version == '15.2(2)SNI' ) flag++;
    if ( version == '15.2(2)T' ) flag++;
    if ( version == '15.2(2)T1' ) flag++;
    if ( version == '15.2(2)T2' ) flag++;
    if ( version == '15.2(2)T3' ) flag++;
    if ( version == '15.2(3)GC' ) flag++;
    if ( version == '15.2(3)GC1' ) flag++;
    if ( version == '15.2(3)GCA' ) flag++;
    if ( version == '15.2(3)T' ) flag++;
    if ( version == '15.2(3)T1' ) flag++;
    if ( version == '15.2(3)T2' ) flag++;
    if ( version == '15.2(3)T3' ) flag++;
    if ( version == '15.2(3)XA' ) flag++;
    if ( version == '15.2(4)JA' ) flag++;
    if ( version == '15.2(4)M' ) flag++;
    if ( version == '15.2(4)M1' ) flag++;
    if ( version == '15.2(4)M2' ) flag++;
    if ( version == '15.2(4)M3' ) flag++;
    if ( version == '15.2(4)S' ) flag++;
    if ( version == '15.2(4)S0c' ) flag++;
    if ( version == '15.2(4)S1' ) flag++;
    if ( version == '15.2(4)S2' ) flag++;
    if ( version == '15.2(4)S3' ) flag++;
    if ( version == '15.2(4)S3a' ) flag++;
    if ( version == '15.2(4)XB10' ) flag++;
    if ( version == '15.3(1)S' ) flag++;
    if ( version == '15.3(1)S1' ) flag++;
    if ( version == '15.3(1)S1e' ) flag++;
    if ( version == '15.3(1)S2' ) flag++;
    if ( version == '15.3(1)T' ) flag++;
    if ( version == '15.3(1)T1' ) flag++;
    if ( version == '15.3(2)S' ) flag++;
    if ( version == '15.3(2)S0xa' ) flag++;
    if ( version == '15.3(2)S1' ) flag++;
    if ( version == '15.3(2)T' ) flag++;
    
    if (get_kb_item("Host/local_checks_enabled"))
    {
    
      if (flag)
      {
      flag = 0;
        buf = cisco_command_kb_item("Host/Cisco/Config/show_ip_dhcp_pool", "show ip dhcp pool");
        if (check_cisco_result(buf))
        {
          if (preg(pattern:"[Aa]ddresses", multiline:TRUE, string:buf)) { flag = 1; }
        } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }
      }
    
      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:"ip helper-address", multiline:TRUE, string:buf)) { flag = 1; }
          if (preg(pattern:"ip dhcp pool", 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");