Vulnerabilities > CVE-2008-4609 - Configuration vulnerability in multiple products

047910
CVSS 7.1 - HIGH
Attack vector
NETWORK
Attack complexity
MEDIUM
Privileges required
NONE
Confidentiality impact
NONE
Integrity impact
NONE
Availability impact
COMPLETE

Summary

The TCP implementation in (1) Linux, (2) platforms based on BSD Unix, (3) Microsoft Windows, (4) Cisco products, and probably other operating systems allows remote attackers to cause a denial of service (connection queue exhaustion) via multiple vectors that manipulate information in the TCP state table, as demonstrated by sockstress. The impact of this vulnerability has yet to be determined. The full list of affected platforms is subject to change. The NVD will continue to monitor this vulnerability and adjust the configurations as needed. Please see also: http://blog.robertlee.name/2008/10/more-detailed-response-to-gordons-post.html and http://www.curbrisk.com/security-blog/robert-e-lee-discusses-tcp-denial-service-vulnerability-sc-magazine.html

Vulnerable Configurations

Part Description Count
OS
Bsd
5
OS
Bsdi
12
OS
Cisco
1459
OS
Dragonflybsd
5
OS
Freebsd
149
OS
Linux
661
OS
Microsoft
153
OS
Midnightbsd
2
OS
Netbsd
56
OS
Openbsd
26
OS
Trustedbsd
1

Common Weakness Enumeration (CWE)

Msbulletin

bulletin_idMS09-048
bulletin_url
date2009-09-08T00:00:00
impactRemote Code Execution
knowledgebase_id967723
knowledgebase_url
severityCritical
titleVulnerabilities in Windows TCP/IP Could Allow Remote Code Execution

Nessus

  • NASL familyCISCO
    NASL idCISCO-SA-20090908-TCP24HTTP.NASL
    descriptionMultiple Cisco products are affected by denial of service (DoS) vulnerabilities that manipulate the state of Transmission Control Protocol (TCP) connections. By manipulating the state of a TCP connection, an attacker could force the TCP connection to remain in a long-lived state, possibly indefinitely. If enough TCP connections are forced into a long-lived or indefinite state, resources on a system under attack may be consumed, preventing new TCP connections from being accepted. In some cases, a system reboot may be necessary to recover normal system operation. To exploit these vulnerabilities, an attacker must be able to complete a TCP three-way handshake with a vulnerable system. In addition to these vulnerabilities, Cisco Nexus 5000 devices contain a TCP DoS vulnerability that may result in a system crash. This additional vulnerability was found as a result of testing the TCP state manipulation vulnerabilities. Cisco has released free software updates for download from the Cisco website that address these vulnerabilities. Workarounds that mitigate these vulnerabilities are available.
    last seen2020-06-01
    modified2020-06-02
    plugin id49038
    published2010-09-01
    reporterThis script is (C) 2010-2018 Tenable Network Security, Inc.
    sourcehttps://www.tenable.com/plugins/nessus/49038
    titleTCP State Manipulation Denial of Service Vulnerabilities in Multiple Cisco Products - Cisco Systems
    code
    #
    # (C) Tenable Network Security, Inc.
    #
    # Security advisory is (C) CISCO, Inc.
    # See https://www.cisco.com/en/US/products/products_security_advisory09186a0080af511d.shtml
    
    if (NASL_LEVEL < 3000) exit(0);
    
    include("compat.inc");
    
    if (description)
    {
     script_id(49038);
     script_version("1.20");
     script_cve_id("CVE-2008-4609", "CVE-2009-0627");
     script_bugtraq_id(31545, 36303);
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv02768");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv04836");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv07712");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv08059");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv08325");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv08579");
     script_xref(name:"CISCO-BUG-ID", value:"CSCsv66169");
     script_xref(name:"CISCO-SA", value:"cisco-sa-20090908-tcp24");
     script_name(english:"TCP State Manipulation Denial of Service Vulnerabilities in Multiple Cisco Products - Cisco Systems");
     script_set_attribute(attribute:"synopsis", value:
    "The remote device is missing a vendor-supplied security patch." );
     script_set_attribute(attribute:"description", value:
    'Multiple Cisco products are affected by denial of service (DoS)
    vulnerabilities that manipulate the state of Transmission Control
    Protocol (TCP) connections. By manipulating the state of a TCP
    connection, an attacker could force the TCP connection to remain in a
    long-lived state, possibly indefinitely. If enough TCP connections are
    forced into a long-lived or indefinite state, resources on a system
    under attack may be consumed, preventing new TCP connections from being
    accepted. In some cases, a system reboot may be necessary to recover
    normal system operation. To exploit these vulnerabilities, an attacker
    must be able to complete a TCP three-way handshake with a vulnerable
    system.
    In addition to these vulnerabilities, Cisco Nexus 5000 devices contain
    a TCP DoS vulnerability that may result in a system crash. This
    additional vulnerability was found as a result of testing the TCP state
    manipulation vulnerabilities.
    Cisco has released free software updates for download from the Cisco
    website that address these vulnerabilities. Workarounds that mitigate
    these vulnerabilities are available.
    ');
     script_set_attribute(attribute:"see_also", value: "https://www.cert.fi/haavoittuvuudet/2008/tcp-vulnerabilities.html");
     script_set_attribute(attribute:"see_also", value: "http://www.nessus.org/u?8112f767");
     # https://www.cisco.com/en/US/products/products_security_advisory09186a0080af511d.shtml
     script_set_attribute(attribute:"see_also", value: "http://www.nessus.org/u?50df1ea3");
     script_set_attribute(attribute:"solution", value:
    "Apply the relevant patch referenced in Cisco Security Advisory
    cisco-sa-20090908-tcp24."
     );
     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_cwe_id(16);
     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: "2008/10/02"); # first announced at now-defunct URL http://www.outpost24.com/news/news-2008-10-02.html
     script_set_attribute(attribute:"patch_publication_date", value: "2009/09/08");
     script_set_attribute(attribute:"plugin_publication_date", value: "2010/09/01");
     script_cvs_date("Date: 2018/11/15 20:50:20");
     script_end_attributes();
     script_summary(english:"Uses SNMP to determine if a flaw is present");
     script_category(ACT_GATHER_INFO);
     script_copyright(english:"This script is (C) 2010-2018 Tenable Network Security, Inc.");
     script_family(english:"CISCO");
     script_dependencie("cisco_ios_version.nasl");
     script_require_keys("Host/Cisco/IOS/Version");
     exit(0);
    }
    include("cisco_func.inc");
    
    #
    
    version = get_kb_item_or_exit("Host/Cisco/IOS/Version");
    
    if (version == '12.4(20)YA1')
      security_hole(0);
    else if (version == '12.4(20)YA')
      security_hole(0);
    else if (version == '12.4(15)XZ1')
      security_hole(0);
    else if (version == '12.4(15)XZ')
      security_hole(0);
    else if (version == '12.4(15)XY4')
      security_hole(0);
    else if (version == '12.4(15)XY3')
      security_hole(0);
    else if (version == '12.4(15)XY2')
      security_hole(0);
    else if (version == '12.4(15)XY1')
      security_hole(0);
    else if (version == '12.4(15)XY')
      security_hole(0);
    else if (version == '12.4(11)XW9')
      security_hole(0);
    else if (version == '12.4(11)XW8')
      security_hole(0);
    else if (version == '12.4(11)XW7')
      security_hole(0);
    else if (version == '12.4(11)XW6')
      security_hole(0);
    else if (version == '12.4(11)XW5')
      security_hole(0);
    else if (version == '12.4(11)XW4')
      security_hole(0);
    else if (version == '12.4(11)XW3')
      security_hole(0);
    else if (version == '12.4(11)XW2')
      security_hole(0);
    else if (version == '12.4(11)XW1')
      security_hole(0);
    else if (version == '12.4(11)XW')
      security_hole(0);
    else if (version == '12.4(11)XV1')
      security_hole(0);
    else if (version == '12.4(11)XV')
      security_hole(0);
    else if (version == '12.4(6)XT2')
      security_hole(0);
    else if (version == '12.4(6)XT1')
      security_hole(0);
    else if (version == '12.4(6)XT')
      security_hole(0);
    else if (version == '12.4(15)XR3')
      security_hole(0);
    else if (version == '12.4(15)XR2')
      security_hole(0);
    else if (version == '12.4(15)XR1')
      security_hole(0);
    else if (version == '12.4(15)XR')
      security_hole(0);
    else if (version == '12.4(15)XQ1')
      security_hole(0);
    else if (version == '12.4(15)XQ')
      security_hole(0);
    else if (version == '12.4(6)XP')
      security_hole(0);
    else if (version == '12.4(15)XN')
      security_hole(0);
    else if (version == '12.4(15)XM2')
      security_hole(0);
    else if (version == '12.4(15)XM1')
      security_hole(0);
    else if (version == '12.4(15)XM')
      security_hole(0);
    else if (version == '12.4(15)XL3')
      security_hole(0);
    else if (version == '12.4(15)XL2')
      security_hole(0);
    else if (version == '12.4(15)XL1')
      security_hole(0);
    else if (version == '12.4(15)XL')
      security_hole(0);
    else if (version == '12.4(14)XK')
      security_hole(0);
    else if (version == '12.4(11)XJ4')
      security_hole(0);
    else if (version == '12.4(11)XJ3')
      security_hole(0);
    else if (version == '12.4(11)XJ2')
      security_hole(0);
    else if (version == '12.4(11)XJ')
      security_hole(0);
    else if (version == '12.4(9)XG3')
      security_hole(0);
    else if (version == '12.4(9)XG2')
      security_hole(0);
    else if (version == '12.4(9)XG1')
      security_hole(0);
    else if (version == '12.4(9)XG')
      security_hole(0);
    else if (version == '12.4(15)XF')
      security_hole(0);
    else if (version == '12.4(6)XE3')
      security_hole(0);
    else if (version == '12.4(6)XE2')
      security_hole(0);
    else if (version == '12.4(6)XE1')
      security_hole(0);
    else if (version == '12.4(6)XE')
      security_hole(0);
    else if (version == '12.4(4)XD9')
      security_hole(0);
    else if (version == '12.4(4)XD8')
      security_hole(0);
    else if (version == '12.4(4)XD7')
      security_hole(0);
    else if (version == '12.4(4)XD5')
      security_hole(0);
    else if (version == '12.4(4)XD4')
      security_hole(0);
    else if (version == '12.4(4)XD2')
      security_hole(0);
    else if (version == '12.4(4)XD11')
      security_hole(0);
    else if (version == '12.4(4)XD10')
      security_hole(0);
    else if (version == '12.4(4)XD1')
      security_hole(0);
    else if (version == '12.4(4)XD')
      security_hole(0);
    else if (version == '12.4(4)XC7')
      security_hole(0);
    else if (version == '12.4(4)XC6')
      security_hole(0);
    else if (version == '12.4(4)XC5')
      security_hole(0);
    else if (version == '12.4(4)XC4')
      security_hole(0);
    else if (version == '12.4(4)XC3')
      security_hole(0);
    else if (version == '12.4(4)XC2')
      security_hole(0);
    else if (version == '12.4(4)XC1')
      security_hole(0);
    else if (version == '12.4(4)XC')
      security_hole(0);
    else if (version == '12.4(2)XB9')
      security_hole(0);
    else if (version == '12.4(2)XB8')
      security_hole(0);
    else if (version == '12.4(2)XB7')
      security_hole(0);
    else if (version == '12.4(2)XB6')
      security_hole(0);
    else if (version == '12.4(2)XB5')
      security_hole(0);
    else if (version == '12.4(2)XB4')
      security_hole(0);
    else if (version == '12.4(2)XB3')
      security_hole(0);
    else if (version == '12.4(2)XB2')
      security_hole(0);
    else if (version == '12.4(2)XB10')
      security_hole(0);
    else if (version == '12.4(2)XB1')
      security_hole(0);
    else if (version == '12.4(2)XB')
      security_hole(0);
    else if (version == '12.4(2)XA2')
      security_hole(0);
    else if (version == '12.4(2)XA1')
      security_hole(0);
    else if (version == '12.4(2)XA')
      security_hole(0);
    else if (version == '12.4(22)T')
      security_hole(0);
    else if (version == '12.4(20)T1')
      security_hole(0);
    else if (version == '12.4(20)T')
      security_hole(0);
    else if (version == '12.4(15)T7')
      security_hole(0);
    else if (version == '12.4(15)T6')
      security_hole(0);
    else if (version == '12.4(15)T5')
      security_hole(0);
    else if (version == '12.4(15)T4')
      security_hole(0);
    else if (version == '12.4(15)T3')
      security_hole(0);
    else if (version == '12.4(15)T2')
      security_hole(0);
    else if (version == '12.4(15)T1')
      security_hole(0);
    else if (version == '12.4(15)T')
      security_hole(0);
    else if (version == '12.4(11)T4')
      security_hole(0);
    else if (version == '12.4(11)T3')
      security_hole(0);
    else if (version == '12.4(11)T2')
      security_hole(0);
    else if (version == '12.4(11)T1')
      security_hole(0);
    else if (version == '12.4(11)T')
      security_hole(0);
    else if (version == '12.4(9)T7')
      security_hole(0);
    else if (version == '12.4(9)T6')
      security_hole(0);
    else if (version == '12.4(9)T5')
      security_hole(0);
    else if (version == '12.4(9)T4')
      security_hole(0);
    else if (version == '12.4(9)T3')
      security_hole(0);
    else if (version == '12.4(9)T2')
      security_hole(0);
    else if (version == '12.4(9)T1')
      security_hole(0);
    else if (version == '12.4(9)T')
      security_hole(0);
    else if (version == '12.4(6)T9')
      security_hole(0);
    else if (version == '12.4(6)T8')
      security_hole(0);
    else if (version == '12.4(6)T7')
      security_hole(0);
    else if (version == '12.4(6)T6')
      security_hole(0);
    else if (version == '12.4(6)T5')
      security_hole(0);
    else if (version == '12.4(6)T4')
      security_hole(0);
    else if (version == '12.4(6)T3')
      security_hole(0);
    else if (version == '12.4(6)T2')
      security_hole(0);
    else if (version == '12.4(6)T11')
      security_hole(0);
    else if (version == '12.4(6)T10')
      security_hole(0);
    else if (version == '12.4(6)T1')
      security_hole(0);
    else if (version == '12.4(6)T')
      security_hole(0);
    else if (version == '12.4(4)T8')
      security_hole(0);
    else if (version == '12.4(4)T7')
      security_hole(0);
    else if (version == '12.4(4)T6')
      security_hole(0);
    else if (version == '12.4(4)T5')
      security_hole(0);
    else if (version == '12.4(4)T4')
      security_hole(0);
    else if (version == '12.4(4)T3')
      security_hole(0);
    else if (version == '12.4(4)T2')
      security_hole(0);
    else if (version == '12.4(4)T1')
      security_hole(0);
    else if (version == '12.4(4)T')
      security_hole(0);
    else if (version == '12.4(2)T6')
      security_hole(0);
    else if (version == '12.4(2)T5')
      security_hole(0);
    else if (version == '12.4(2)T4')
      security_hole(0);
    else if (version == '12.4(2)T3')
      security_hole(0);
    else if (version == '12.4(2)T2')
      security_hole(0);
    else if (version == '12.4(2)T1')
      security_hole(0);
    else if (version == '12.4(2)T')
      security_hole(0);
    else if (version == '12.4(15)SW2')
      security_hole(0);
    else if (version == '12.4(15)SW1')
      security_hole(0);
    else if (version == '12.4(15)SW')
      security_hole(0);
    else if (version == '12.4(11)SW3')
      security_hole(0);
    else if (version == '12.4(11)SW2')
      security_hole(0);
    else if (version == '12.4(11)SW1')
      security_hole(0);
    else if (version == '12.4(11)SW')
      security_hole(0);
    else if (version == '12.4(22)MX')
      security_hole(0);
    else if (version == '12.4(19)MR')
      security_hole(0);
    else if (version == '12.4(16)MR2')
      security_hole(0);
    else if (version == '12.4(16)MR1')
      security_hole(0);
    else if (version == '12.4(16)MR')
      security_hole(0);
    else if (version == '12.4(12)MR2')
      security_hole(0);
    else if (version == '12.4(12)MR1')
      security_hole(0);
    else if (version == '12.4(12)MR')
      security_hole(0);
    else if (version == '12.4(11)MR')
      security_hole(0);
    else if (version == '12.4(9)MR')
      security_hole(0);
    else if (version == '12.4(6)MR1')
      security_hole(0);
    else if (version == '12.4(6)MR')
      security_hole(0);
    else if (version == '12.4(4)MR1')
      security_hole(0);
    else if (version == '12.4(4)MR')
      security_hole(0);
    else if (version == '12.4(2)MR1')
      security_hole(0);
    else if (version == '12.4(2)MR')
      security_hole(0);
    else if (version == '12.4(15)MD1')
      security_hole(0);
    else if (version == '12.4(15)MD')
      security_hole(0);
    else if (version == '12.4(11)MD6')
      security_hole(0);
    else if (version == '12.4(11)MD5')
      security_hole(0);
    else if (version == '12.4(11)MD4')
      security_hole(0);
    else if (version == '12.4(11)MD3')
      security_hole(0);
    else if (version == '12.4(11)MD2')
      security_hole(0);
    else if (version == '12.4(11)MD1')
      security_hole(0);
    else if (version == '12.4(11)MD')
      security_hole(0);
    else if (version == '12.4(10b)JX')
      security_hole(0);
    else if (version == '12.4(3g)JX2')
      security_hole(0);
    else if (version == '12.4(3g)JX1')
      security_hole(0);
    else if (version == '12.4(3g)JX')
      security_hole(0);
    else if (version == '12.4(3g)JMC2')
      security_hole(0);
    else if (version == '12.4(3g)JMC1')
      security_hole(0);
    else if (version == '12.4(3g)JMC')
      security_hole(0);
    else if (version == '12.4(3g)JMB')
      security_hole(0);
    else if (version == '12.4(3g)JMA1')
      security_hole(0);
    else if (version == '12.4(3g)JMA')
      security_hole(0);
    else if (version == '12.4(3)JL')
      security_hole(0);
    else if (version == '12.4(3)JK3')
      security_hole(0);
    else if (version == '12.4(3)JK2')
      security_hole(0);
    else if (version == '12.4(3)JK1')
      security_hole(0);
    else if (version == '12.4(3)JK')
      security_hole(0);
    else if (version == '12.4(10b)JDA2')
      security_hole(0);
    else if (version == '12.4(10b)JDA1')
      security_hole(0);
    else if (version == '12.4(10b)JDA')
      security_hole(0);
    else if (version == '12.4(18a)JA')
      security_hole(0);
    else if (version == '12.4(16b)JA')
      security_hole(0);
    else if (version == '12.4(13d)JA')
      security_hole(0);
    else if (version == '12.4(10b)JA4')
      security_hole(0);
    else if (version == '12.4(10b)JA3')
      security_hole(0);
    else if (version == '12.4(10b)JA2')
      security_hole(0);
    else if (version == '12.4(10b)JA1')
      security_hole(0);
    else if (version == '12.4(10b)JA')
      security_hole(0);
    else if (version == '12.4(3g)JA2')
      security_hole(0);
    else if (version == '12.4(3g)JA1')
      security_hole(0);
    else if (version == '12.4(3g)JA')
      security_hole(0);
    else if (version == '12.4(23)')
      security_hole(0);
    else if (version == '12.4(21a)')
      security_hole(0);
    else if (version == '12.4(21)')
      security_hole(0);
    else if (version == '12.4(19b)')
      security_hole(0);
    else if (version == '12.4(19a)')
      security_hole(0);
    else if (version == '12.4(19)')
      security_hole(0);
    else if (version == '12.4(18c)')
      security_hole(0);
    else if (version == '12.4(18b)')
      security_hole(0);
    else if (version == '12.4(18a)')
      security_hole(0);
    else if (version == '12.4(18)')
      security_hole(0);
    else if (version == '12.4(17b)')
      security_hole(0);
    else if (version == '12.4(17a)')
      security_hole(0);
    else if (version == '12.4(17)')
      security_hole(0);
    else if (version == '12.4(16b)')
      security_hole(0);
    else if (version == '12.4(16a)')
      security_hole(0);
    else if (version == '12.4(16)')
      security_hole(0);
    else if (version == '12.4(13f)')
      security_hole(0);
    else if (version == '12.4(13e)')
      security_hole(0);
    else if (version == '12.4(13d)')
      security_hole(0);
    else if (version == '12.4(13c)')
      security_hole(0);
    else if (version == '12.4(13b)')
      security_hole(0);
    else if (version == '12.4(13a)')
      security_hole(0);
    else if (version == '12.4(13)')
      security_hole(0);
    else if (version == '12.4(12c)')
      security_hole(0);
    else if (version == '12.4(12b)')
      security_hole(0);
    else if (version == '12.4(12a)')
      security_hole(0);
    else if (version == '12.4(12)')
      security_hole(0);
    else if (version == '12.4(10c)')
      security_hole(0);
    else if (version == '12.4(10b)')
      security_hole(0);
    else if (version == '12.4(10a)')
      security_hole(0);
    else if (version == '12.4(10)')
      security_hole(0);
    else if (version == '12.4(8d)')
      security_hole(0);
    else if (version == '12.4(8c)')
      security_hole(0);
    else if (version == '12.4(8b)')
      security_hole(0);
    else if (version == '12.4(8a)')
      security_hole(0);
    else if (version == '12.4(8)')
      security_hole(0);
    else if (version == '12.4(7h)')
      security_hole(0);
    else if (version == '12.4(7g)')
      security_hole(0);
    else if (version == '12.4(7f)')
      security_hole(0);
    else if (version == '12.4(7e)')
      security_hole(0);
    else if (version == '12.4(7d)')
      security_hole(0);
    else if (version == '12.4(7c)')
      security_hole(0);
    else if (version == '12.4(7b)')
      security_hole(0);
    else if (version == '12.4(7a)')
      security_hole(0);
    else if (version == '12.4(7)')
      security_hole(0);
    else if (version == '12.4(5c)')
      security_hole(0);
    else if (version == '12.4(5b)')
      security_hole(0);
    else if (version == '12.4(5a)')
      security_hole(0);
    else if (version == '12.4(5)')
      security_hole(0);
    else if (version == '12.4(3j)')
      security_hole(0);
    else if (version == '12.4(3i)')
      security_hole(0);
    else if (version == '12.4(3h)')
      security_hole(0);
    else if (version == '12.4(3g)')
      security_hole(0);
    else if (version == '12.4(3f)')
      security_hole(0);
    else if (version == '12.4(3e)')
      security_hole(0);
    else if (version == '12.4(3d)')
      security_hole(0);
    else if (version == '12.4(3c)')
      security_hole(0);
    else if (version == '12.4(3b)')
      security_hole(0);
    else if (version == '12.4(3a)')
      security_hole(0);
    else if (version == '12.4(3)')
      security_hole(0);
    else if (version == '12.4(1c)')
      security_hole(0);
    else if (version == '12.4(1b)')
      security_hole(0);
    else if (version == '12.4(1a)')
      security_hole(0);
    else if (version == '12.4(1)')
      security_hole(0);
    else if (version == '12.3(8)ZA')
      security_hole(0);
    else if (version == '12.3(11)YZ2')
      security_hole(0);
    else if (version == '12.3(11)YZ1')
      security_hole(0);
    else if (version == '12.3(11)YZ')
      security_hole(0);
    else if (version == '12.3(14)YX9')
      security_hole(0);
    else if (version == '12.3(14)YX8')
      security_hole(0);
    else if (version == '12.3(14)YX7')
      security_hole(0);
    else if (version == '12.3(14)YX4')
      security_hole(0);
    else if (version == '12.3(14)YX3')
      security_hole(0);
    else if (version == '12.3(14)YX2')
      security_hole(0);
    else if (version == '12.3(14)YX13')
      security_hole(0);
    else if (version == '12.3(14)YX12')
      security_hole(0);
    else if (version == '12.3(14)YX11')
      security_hole(0);
    else if (version == '12.3(14)YX10')
      security_hole(0);
    else if (version == '12.3(14)YX1')
      security_hole(0);
    else if (version == '12.3(14)YX')
      security_hole(0);
    else if (version == '12.3(14)YU1')
      security_hole(0);
    else if (version == '12.3(14)YU')
      security_hole(0);
    else if (version == '12.3(14)YT1')
      security_hole(0);
    else if (version == '12.3(14)YT')
      security_hole(0);
    else if (version == '12.3(11)YS2')
      security_hole(0);
    else if (version == '12.3(11)YS1')
      security_hole(0);
    else if (version == '12.3(11)YS')
      security_hole(0);
    else if (version == '12.3(14)YQ8')
      security_hole(0);
    else if (version == '12.3(14)YQ7')
      security_hole(0);
    else if (version == '12.3(14)YQ6')
      security_hole(0);
    else if (version == '12.3(14)YQ5')
      security_hole(0);
    else if (version == '12.3(14)YQ4')
      security_hole(0);
    else if (version == '12.3(14)YQ3')
      security_hole(0);
    else if (version == '12.3(14)YQ2')
      security_hole(0);
    else if (version == '12.3(14)YQ1')
      security_hole(0);
    else if (version == '12.3(14)YQ')
      security_hole(0);
    else if (version == '12.3(14)YM9')
      security_hole(0);
    else if (version == '12.3(14)YM8')
      security_hole(0);
    else if (version == '12.3(14)YM7')
      security_hole(0);
    else if (version == '12.3(14)YM6')
      security_hole(0);
    else if (version == '12.3(14)YM5')
      security_hole(0);
    else if (version == '12.3(14)YM4')
      security_hole(0);
    else if (version == '12.3(14)YM3')
      security_hole(0);
    else if (version == '12.3(14)YM2')
      security_hole(0);
    else if (version == '12.3(14)YM12')
      security_hole(0);
    else if (version == '12.3(14)YM11')
      security_hole(0);
    else if (version == '12.3(14)YM10')
      security_hole(0);
    else if (version == '12.3(11)YK3')
      security_hole(0);
    else if (version == '12.3(11)YK2')
      security_hole(0);
    else if (version == '12.3(11)YK1')
      security_hole(0);
    else if (version == '12.3(11)YK')
      security_hole(0);
    else if (version == '12.3(11)YJ')
      security_hole(0);
    else if (version == '12.3(8)YI3')
      security_hole(0);
    else if (version == '12.3(8)YI2')
      security_hole(0);
    else if (version == '12.3(8)YI1')
      security_hole(0);
    else if (version == '12.3(8)YH')
      security_hole(0);
    else if (version == '12.3(8)YG6')
      security_hole(0);
    else if (version == '12.3(8)YG5')
      security_hole(0);
    else if (version == '12.3(8)YG4')
      security_hole(0);
    else if (version == '12.3(8)YG3')
      security_hole(0);
    else if (version == '12.3(8)YG2')
      security_hole(0);
    else if (version == '12.3(8)YG1')
      security_hole(0);
    else if (version == '12.3(8)YG')
      security_hole(0);
    else if (version == '12.3(11)YF4')
      security_hole(0);
    else if (version == '12.3(11)YF3')
      security_hole(0);
    else if (version == '12.3(11)YF2')
      security_hole(0);
    else if (version == '12.3(11)YF1')
      security_hole(0);
    else if (version == '12.3(11)YF')
      security_hole(0);
    else if (version == '12.3(8)YD1')
      security_hole(0);
    else if (version == '12.3(8)YD')
      security_hole(0);
    else if (version == '12.3(8)YA1')
      security_hole(0);
    else if (version == '12.3(8)YA')
      security_hole(0);
    else if (version == '12.3(2)XZ2')
      security_hole(0);
    else if (version == '12.3(2)XZ1')
      security_hole(0);
    else if (version == '12.3(8)XY7')
      security_hole(0);
    else if (version == '12.3(8)XY6')
      security_hole(0);
    else if (version == '12.3(8)XY5')
      security_hole(0);
    else if (version == '12.3(8)XY4')
      security_hole(0);
    else if (version == '12.3(8)XY3')
      security_hole(0);
    else if (version == '12.3(8)XY2')
      security_hole(0);
    else if (version == '12.3(8)XY1')
      security_hole(0);
    else if (version == '12.3(8)XY')
      security_hole(0);
    else if (version == '12.3(8)XX2d')
      security_hole(0);
    else if (version == '12.3(8)XX1')
      security_hole(0);
    else if (version == '12.3(8)XX')
      security_hole(0);
    else if (version == '12.3(8)XW3')
      security_hole(0);
    else if (version == '12.3(8)XW2')
      security_hole(0);
    else if (version == '12.3(8)XW1')
      security_hole(0);
    else if (version == '12.3(8)XW')
      security_hole(0);
    else if (version == '12.3(8)XU5')
      security_hole(0);
    else if (version == '12.3(8)XU4')
      security_hole(0);
    else if (version == '12.3(8)XU3')
      security_hole(0);
    else if (version == '12.3(8)XU2')
      security_hole(0);
    else if (version == '12.3(8)XU1')
      security_hole(0);
    else if (version == '12.3(8)XU')
      security_hole(0);
    else if (version == '12.3(7)XS2')
      security_hole(0);
    else if (version == '12.3(7)XS1')
      security_hole(0);
    else if (version == '12.3(7)XS')
      security_hole(0);
    else if (version == '12.3(7)XR7')
      security_hole(0);
    else if (version == '12.3(7)XR6')
      security_hole(0);
    else if (version == '12.3(7)XR5')
      security_hole(0);
    else if (version == '12.3(7)XR4')
      security_hole(0);
    else if (version == '12.3(7)XR3')
      security_hole(0);
    else if (version == '12.3(7)XR2')
      security_hole(0);
    else if (version == '12.3(7)XR')
      security_hole(0);
    else if (version == '12.3(4)XQ1')
      security_hole(0);
    else if (version == '12.3(4)XQ')
      security_hole(0);
    else if (version == '12.3(11)XL1')
      security_hole(0);
    else if (version == '12.3(11)XL')
      security_hole(0);
    else if (version == '12.3(4)XK4')
      security_hole(0);
    else if (version == '12.3(4)XK3')
      security_hole(0);
    else if (version == '12.3(4)XK2')
      security_hole(0);
    else if (version == '12.3(4)XK1')
      security_hole(0);
    else if (version == '12.3(4)XK')
      security_hole(0);
    else if (version == '12.3(7)XJ2')
      security_hole(0);
    else if (version == '12.3(7)XJ1')
      security_hole(0);
    else if (version == '12.3(7)XJ')
      security_hole(0);
    else if (version == '12.3(7)XI9')
      security_hole(0);
    else if (version == '12.3(7)XI8d')
      security_hole(0);
    else if (version == '12.3(7)XI8c')
      security_hole(0);
    else if (version == '12.3(7)XI8a')
      security_hole(0);
    else if (version == '12.3(7)XI8')
      security_hole(0);
    else if (version == '12.3(7)XI7b')
      security_hole(0);
    else if (version == '12.3(7)XI7a')
      security_hole(0);
    else if (version == '12.3(7)XI7')
      security_hole(0);
    else if (version == '12.3(7)XI6')
      security_hole(0);
    else if (version == '12.3(7)XI5')
      security_hole(0);
    else if (version == '12.3(7)XI4')
      security_hole(0);
    else if (version == '12.3(7)XI3')
      security_hole(0);
    else if (version == '12.3(7)XI2a')
      security_hole(0);
    else if (version == '12.3(7)XI2')
      security_hole(0);
    else if (version == '12.3(7)XI10a')
      security_hole(0);
    else if (version == '12.3(7)XI10')
      security_hole(0);
    else if (version == '12.3(7)XI1c')
      security_hole(0);
    else if (version == '12.3(7)XI1b')
      security_hole(0);
    else if (version == '12.3(7)XI1')
      security_hole(0);
    else if (version == '12.3(4)XG5')
      security_hole(0);
    else if (version == '12.3(4)XG4')
      security_hole(0);
    else if (version == '12.3(4)XG3')
      security_hole(0);
    else if (version == '12.3(4)XG2')
      security_hole(0);
    else if (version == '12.3(4)XG1')
      security_hole(0);
    else if (version == '12.3(4)XG')
      security_hole(0);
    else if (version == '12.3(2)XF')
      security_hole(0);
    else if (version == '12.3(2)XE5')
      security_hole(0);
    else if (version == '12.3(2)XE4')
      security_hole(0);
    else if (version == '12.3(2)XE3')
      security_hole(0);
    else if (version == '12.3(2)XE2')
      security_hole(0);
    else if (version == '12.3(2)XE1')
      security_hole(0);
    else if (version == '12.3(2)XE')
      security_hole(0);
    else if (version == '12.3(4)XD4')
      security_hole(0);
    else if (version == '12.3(4)XD3')
      security_hole(0);
    else if (version == '12.3(4)XD2')
      security_hole(0);
    else if (version == '12.3(4)XD1')
      security_hole(0);
    else if (version == '12.3(4)XD')
      security_hole(0);
    else if (version == '12.3(2)XC5')
      security_hole(0);
    else if (version == '12.3(2)XC4')
      security_hole(0);
    else if (version == '12.3(2)XC3')
      security_hole(0);
    else if (version == '12.3(2)XC2')
      security_hole(0);
    else if (version == '12.3(2)XC1')
      security_hole(0);
    else if (version == '12.3(2)XC')
      security_hole(0);
    else if (version == '12.3(2)XB3')
      security_hole(0);
    else if (version == '12.3(2)XB1')
      security_hole(0);
    else if (version == '12.3(2)XB')
      security_hole(0);
    else if (version == '12.3(2)XA7')
      security_hole(0);
    else if (version == '12.3(2)XA6')
      security_hole(0);
    else if (version == '12.3(2)XA5')
      security_hole(0);
    else if (version == '12.3(2)XA4')
      security_hole(0);
    else if (version == '12.3(2)XA3')
      security_hole(0);
    else if (version == '12.3(2)XA2')
      security_hole(0);
    else if (version == '12.3(2)XA1')
      security_hole(0);
    else if (version == '12.3(2)XA')
      security_hole(0);
    else if (version == '12.3(4)TPC11b')
      security_hole(0);
    else if (version == '12.3(4)TPC11a')
      security_hole(0);
    else if (version == '12.3(14)T7')
      security_hole(0);
    else if (version == '12.3(14)T6')
      security_hole(0);
    else if (version == '12.3(14)T5')
      security_hole(0);
    else if (version == '12.3(14)T3')
      security_hole(0);
    else if (version == '12.3(14)T2')
      security_hole(0);
    else if (version == '12.3(14)T1')
      security_hole(0);
    else if (version == '12.3(14)T')
      security_hole(0);
    else if (version == '12.3(11)T9')
      security_hole(0);
    else if (version == '12.3(11)T8')
      security_hole(0);
    else if (version == '12.3(11)T7')
      security_hole(0);
    else if (version == '12.3(11)T6')
      security_hole(0);
    else if (version == '12.3(11)T5')
      security_hole(0);
    else if (version == '12.3(11)T4')
      security_hole(0);
    else if (version == '12.3(11)T3')
      security_hole(0);
    else if (version == '12.3(11)T2')
      security_hole(0);
    else if (version == '12.3(11)T11')
      security_hole(0);
    else if (version == '12.3(11)T10')
      security_hole(0);
    else if (version == '12.3(11)T')
      security_hole(0);
    else if (version == '12.3(8)T9')
      security_hole(0);
    else if (version == '12.3(8)T8')
      security_hole(0);
    else if (version == '12.3(8)T7')
      security_hole(0);
    else if (version == '12.3(8)T6')
      security_hole(0);
    else if (version == '12.3(8)T5')
      security_hole(0);
    else if (version == '12.3(8)T4')
      security_hole(0);
    else if (version == '12.3(8)T3')
      security_hole(0);
    else if (version == '12.3(8)T11')
      security_hole(0);
    else if (version == '12.3(8)T10')
      security_hole(0);
    else if (version == '12.3(8)T1')
      security_hole(0);
    else if (version == '12.3(8)T')
      security_hole(0);
    else if (version == '12.3(7)T9')
      security_hole(0);
    else if (version == '12.3(7)T8')
      security_hole(0);
    else if (version == '12.3(7)T7')
      security_hole(0);
    else if (version == '12.3(7)T6')
      security_hole(0);
    else if (version == '12.3(7)T4')
      security_hole(0);
    else if (version == '12.3(7)T3')
      security_hole(0);
    else if (version == '12.3(7)T2')
      security_hole(0);
    else if (version == '12.3(7)T12')
      security_hole(0);
    else if (version == '12.3(7)T11')
      security_hole(0);
    else if (version == '12.3(7)T10')
      security_hole(0);
    else if (version == '12.3(7)T1')
      security_hole(0);
    else if (version == '12.3(7)T')
      security_hole(0);
    else if (version == '12.3(4)T9')
      security_hole(0);
    else if (version == '12.3(4)T8')
      security_hole(0);
    else if (version == '12.3(4)T7')
      security_hole(0);
    else if (version == '12.3(4)T6')
      security_hole(0);
    else if (version == '12.3(4)T4')
      security_hole(0);
    else if (version == '12.3(4)T3')
      security_hole(0);
    else if (version == '12.3(4)T2a')
      security_hole(0);
    else if (version == '12.3(4)T2')
      security_hole(0);
    else if (version == '12.3(4)T11')
      security_hole(0);
    else if (version == '12.3(4)T10')
      security_hole(0);
    else if (version == '12.3(4)T1')
      security_hole(0);
    else if (version == '12.3(4)T')
      security_hole(0);
    else if (version == '12.3(2)T9')
      security_hole(0);
    else if (version == '12.3(2)T8')
      security_hole(0);
    else if (version == '12.3(2)T7')
      security_hole(0);
    else if (version == '12.3(2)T6')
      security_hole(0);
    else if (version == '12.3(2)T5')
      security_hole(0);
    else if (version == '12.3(2)T4')
      security_hole(0);
    else if (version == '12.3(2)T3')
      security_hole(0);
    else if (version == '12.3(2)T2')
      security_hole(0);
    else if (version == '12.3(2)T1')
      security_hole(0);
    else if (version == '12.3(2)T')
      security_hole(0);
    else if (version == '12.3(11)JX1')
      security_hole(0);
    else if (version == '12.3(11)JX')
      security_hole(0);
    else if (version == '12.3(7)JX9')
      security_hole(0);
    else if (version == '12.3(7)JX8')
      security_hole(0);
    else if (version == '12.3(7)JX7')
      security_hole(0);
    else if (version == '12.3(7)JX6')
      security_hole(0);
    else if (version == '12.3(7)JX5')
      security_hole(0);
    else if (version == '12.3(7)JX4')
      security_hole(0);
    else if (version == '12.3(7)JX3')
      security_hole(0);
    else if (version == '12.3(7)JX2')
      security_hole(0);
    else if (version == '12.3(7)JX11')
      security_hole(0);
    else if (version == '12.3(7)JX10')
      security_hole(0);
    else if (version == '12.3(7)JX1')
      security_hole(0);
    else if (version == '12.3(7)JX')
      security_hole(0);
    else if (version == '12.3(2)JL4')
      security_hole(0);
    else if (version == '12.3(2)JL3')
      security_hole(0);
    else if (version == '12.3(2)JL2')
      security_hole(0);
    else if (version == '12.3(2)JL1')
      security_hole(0);
    else if (version == '12.3(2)JL')
      security_hole(0);
    else if (version == '12.3(8)JK1')
      security_hole(0);
    else if (version == '12.3(2)JK3')
      security_hole(0);
    else if (version == '12.3(2)JK2')
      security_hole(0);
    else if (version == '12.3(2)JK1')
      security_hole(0);
    else if (version == '12.3(2)JK')
      security_hole(0);
    else if (version == '12.3(8)JEC2')
      security_hole(0);
    else if (version == '12.3(8)JEC1')
      security_hole(0);
    else if (version == '12.3(8)JEC')
      security_hole(0);
    else if (version == '12.3(8)JEB2')
      security_hole(0);
    else if (version == '12.3(8)JEB1')
      security_hole(0);
    else if (version == '12.3(8)JEB')
      security_hole(0);
    else if (version == '12.3(8)JEA3')
      security_hole(0);
    else if (version == '12.3(8)JEA2')
      security_hole(0);
    else if (version == '12.3(8)JEA1')
      security_hole(0);
    else if (version == '12.3(8)JEA')
      security_hole(0);
    else if (version == '12.3(11)JA4')
      security_hole(0);
    else if (version == '12.3(11)JA3')
      security_hole(0);
    else if (version == '12.3(11)JA2')
      security_hole(0);
    else if (version == '12.3(11)JA1')
      security_hole(0);
    else if (version == '12.3(11)JA')
      security_hole(0);
    else if (version == '12.3(8)JA2')
      security_hole(0);
    else if (version == '12.3(8)JA1')
      security_hole(0);
    else if (version == '12.3(8)JA')
      security_hole(0);
    else if (version == '12.3(7)JA5')
      security_hole(0);
    else if (version == '12.3(7)JA4')
      security_hole(0);
    else if (version == '12.3(7)JA3')
      security_hole(0);
    else if (version == '12.3(7)JA2')
      security_hole(0);
    else if (version == '12.3(7)JA1')
      security_hole(0);
    else if (version == '12.3(7)JA')
      security_hole(0);
    else if (version == '12.3(4)JA2')
      security_hole(0);
    else if (version == '12.3(4)JA1')
      security_hole(0);
    else if (version == '12.3(4)JA')
      security_hole(0);
    else if (version == '12.3(2)JA6')
      security_hole(0);
    else if (version == '12.3(2)JA5')
      security_hole(0);
    else if (version == '12.3(2)JA2')
      security_hole(0);
    else if (version == '12.3(2)JA1')
      security_hole(0);
    else if (version == '12.3(2)JA')
      security_hole(0);
    else if (version == '12.3(1a)BW')
      security_hole(0);
    else if (version == '12.3(23)BC5')
      security_hole(0);
    else if (version == '12.3(23)BC4')
      security_hole(0);
    else if (version == '12.3(23)BC3')
      security_hole(0);
    else if (version == '12.3(23)BC2')
      security_hole(0);
    else if (version == '12.3(23)BC1')
      security_hole(0);
    else if (version == '12.3(23)BC')
      security_hole(0);
    else if (version == '12.3(21a)BC8')
      security_hole(0);
    else if (version == '12.3(21a)BC7')
      security_hole(0);
    else if (version == '12.3(21a)BC6')
      security_hole(0);
    else if (version == '12.3(21a)BC5')
      security_hole(0);
    else if (version == '12.3(21a)BC4')
      security_hole(0);
    else if (version == '12.3(21a)BC3')
      security_hole(0);
    else if (version == '12.3(21a)BC2')
      security_hole(0);
    else if (version == '12.3(21a)BC1')
      security_hole(0);
    else if (version == '12.3(21)BC')
      security_hole(0);
    else if (version == '12.3(17b)BC9')
      security_hole(0);
    else if (version == '12.3(17b)BC8')
      security_hole(0);
    else if (version == '12.3(17b)BC7')
      security_hole(0);
    else if (version == '12.3(17b)BC6')
      security_hole(0);
    else if (version == '12.3(17b)BC5')
      security_hole(0);
    else if (version == '12.3(17b)BC4')
      security_hole(0);
    else if (version == '12.3(17b)BC3')
      security_hole(0);
    else if (version == '12.3(17a)BC2')
      security_hole(0);
    else if (version == '12.3(17a)BC1')
      security_hole(0);
    else if (version == '12.3(17a)BC')
      security_hole(0);
    else if (version == '12.3(13a)BC6')
      security_hole(0);
    else if (version == '12.3(13a)BC5')
      security_hole(0);
    else if (version == '12.3(13a)BC4')
      security_hole(0);
    else if (version == '12.3(13a)BC3')
      security_hole(0);
    else if (version == '12.3(13a)BC2')
      security_hole(0);
    else if (version == '12.3(13a)BC1')
      security_hole(0);
    else if (version == '12.3(13a)BC')
      security_hole(0);
    else if (version == '12.3(9a)BC9')
      security_hole(0);
    else if (version == '12.3(9a)BC8')
      security_hole(0);
    else if (version == '12.3(9a)BC7')
      security_hole(0);
    else if (version == '12.3(9a)BC6')
      security_hole(0);
    else if (version == '12.3(9a)BC5')
      security_hole(0);
    else if (version == '12.3(9a)BC4')
      security_hole(0);
    else if (version == '12.3(9a)BC3')
      security_hole(0);
    else if (version == '12.3(9a)BC2')
      security_hole(0);
    else if (version == '12.3(9a)BC1')
      security_hole(0);
    else if (version == '12.3(9a)BC')
      security_hole(0);
    else if (version == '12.3(5a)B5')
      security_hole(0);
    else if (version == '12.3(5a)B4')
      security_hole(0);
    else if (version == '12.3(5a)B3')
      security_hole(0);
    else if (version == '12.3(5a)B2')
      security_hole(0);
    else if (version == '12.3(5a)B1')
      security_hole(0);
    else if (version == '12.3(5a)B')
      security_hole(0);
    else if (version == '12.3(3)B1')
      security_hole(0);
    else if (version == '12.3(3)B')
      security_hole(0);
    else if (version == '12.3(1a)B')
      security_hole(0);
    else if (version == '12.3(26)')
      security_hole(0);
    else if (version == '12.3(25)')
      security_hole(0);
    else if (version == '12.3(24a)')
      security_hole(0);
    else if (version == '12.3(24)')
      security_hole(0);
    else if (version == '12.3(23)')
      security_hole(0);
    else if (version == '12.3(22a)')
      security_hole(0);
    else if (version == '12.3(22)')
      security_hole(0);
    else if (version == '12.3(21b)')
      security_hole(0);
    else if (version == '12.3(21)')
      security_hole(0);
    else if (version == '12.3(20a)')
      security_hole(0);
    else if (version == '12.3(20)')
      security_hole(0);
    else if (version == '12.3(19a)')
      security_hole(0);
    else if (version == '12.3(19)')
      security_hole(0);
    else if (version == '12.3(18a)')
      security_hole(0);
    else if (version == '12.3(18)')
      security_hole(0);
    else if (version == '12.3(17c)')
      security_hole(0);
    else if (version == '12.3(17b)')
      security_hole(0);
    else if (version == '12.3(17a)')
      security_hole(0);
    else if (version == '12.3(17)')
      security_hole(0);
    else if (version == '12.3(16a)')
      security_hole(0);
    else if (version == '12.3(16)')
      security_hole(0);
    else if (version == '12.3(15b)')
      security_hole(0);
    else if (version == '12.3(15a)')
      security_hole(0);
    else if (version == '12.3(15)')
      security_hole(0);
    else if (version == '12.3(13b)')
      security_hole(0);
    else if (version == '12.3(13a)')
      security_hole(0);
    else if (version == '12.3(13)')
      security_hole(0);
    else if (version == '12.3(12e)')
      security_hole(0);
    else if (version == '12.3(12d)')
      security_hole(0);
    else if (version == '12.3(12c)')
      security_hole(0);
    else if (version == '12.3(12b)')
      security_hole(0);
    else if (version == '12.3(12a)')
      security_hole(0);
    else if (version == '12.3(12)')
      security_hole(0);
    else if (version == '12.3(10f)')
      security_hole(0);
    else if (version == '12.3(10e)')
      security_hole(0);
    else if (version == '12.3(10d)')
      security_hole(0);
    else if (version == '12.3(10c)')
      security_hole(0);
    else if (version == '12.3(10b)')
      security_hole(0);
    else if (version == '12.3(10a)')
      security_hole(0);
    else if (version == '12.3(10)')
      security_hole(0);
    else if (version == '12.3(9e)')
      security_hole(0);
    else if (version == '12.3(9d)')
      security_hole(0);
    else if (version == '12.3(9c)')
      security_hole(0);
    else if (version == '12.3(9b)')
      security_hole(0);
    else if (version == '12.3(9a)')
      security_hole(0);
    else if (version == '12.3(9)')
      security_hole(0);
    else if (version == '12.3(6f)')
      security_hole(0);
    else if (version == '12.3(6e)')
      security_hole(0);
    else if (version == '12.3(6c)')
      security_hole(0);
    else if (version == '12.3(6b)')
      security_hole(0);
    else if (version == '12.3(6a)')
      security_hole(0);
    else if (version == '12.3(6)')
      security_hole(0);
    else if (version == '12.3(5f)')
      security_hole(0);
    else if (version == '12.3(5e)')
      security_hole(0);
    else if (version == '12.3(5d)')
      security_hole(0);
    else if (version == '12.3(5c)')
      security_hole(0);
    else if (version == '12.3(5b)')
      security_hole(0);
    else if (version == '12.3(5a)')
      security_hole(0);
    else if (version == '12.3(5)')
      security_hole(0);
    else if (version == '12.3(3i)')
      security_hole(0);
    else if (version == '12.3(3h)')
      security_hole(0);
    else if (version == '12.3(3g)')
      security_hole(0);
    else if (version == '12.3(3f)')
      security_hole(0);
    else if (version == '12.3(3e)')
      security_hole(0);
    else if (version == '12.3(3c)')
      security_hole(0);
    else if (version == '12.3(3b)')
      security_hole(0);
    else if (version == '12.3(3a)')
      security_hole(0);
    else if (version == '12.3(3)')
      security_hole(0);
    else if (version == '12.3(1a)')
      security_hole(0);
    else if (version == '12.3(1)')
      security_hole(0);
    else if (version == '12.2(18)ZYA')
      security_hole(0);
    else if (version == '12.2(18)ZY2')
      security_hole(0);
    else if (version == '12.2(18)ZY1')
      security_hole(0);
    else if (version == '12.2(18)ZY')
      security_hole(0);
    else if (version == '12.2(28)ZX')
      security_hole(0);
    else if (version == '12.2(18)ZU2')
      security_hole(0);
    else if (version == '12.2(18)ZU1')
      security_hole(0);
    else if (version == '12.2(18)ZU')
      security_hole(0);
    else if (version == '12.2(13)ZP4')
      security_hole(0);
    else if (version == '12.2(13)ZP3')
      security_hole(0);
    else if (version == '12.2(13)ZP2')
      security_hole(0);
    else if (version == '12.2(13)ZP1')
      security_hole(0);
    else if (version == '12.2(13)ZP')
      security_hole(0);
    else if (version == '12.2(15)ZL1')
      security_hole(0);
    else if (version == '12.2(15)ZL')
      security_hole(0);
    else if (version == '12.2(15)ZJ5')
      security_hole(0);
    else if (version == '12.2(15)ZJ3')
      security_hole(0);
    else if (version == '12.2(15)ZJ2')
      security_hole(0);
    else if (version == '12.2(15)ZJ1')
      security_hole(0);
    else if (version == '12.2(15)ZJ')
      security_hole(0);
    else if (version == '12.2(13)ZH9')
      security_hole(0);
    else if (version == '12.2(13)ZH8')
      security_hole(0);
    else if (version == '12.2(13)ZH7')
      security_hole(0);
    else if (version == '12.2(13)ZH6')
      security_hole(0);
    else if (version == '12.2(13)ZH5')
      security_hole(0);
    else if (version == '12.2(13)ZH4')
      security_hole(0);
    else if (version == '12.2(13)ZH3')
      security_hole(0);
    else if (version == '12.2(13)ZH2')
      security_hole(0);
    else if (version == '12.2(13)ZH10')
      security_hole(0);
    else if (version == '12.2(13)ZH1')
      security_hole(0);
    else if (version == '12.2(13)ZH')
      security_hole(0);
    else if (version == '12.2(13)ZG')
      security_hole(0);
    else if (version == '12.2(13)ZF2')
      security_hole(0);
    else if (version == '12.2(13)ZF1')
      security_hole(0);
    else if (version == '12.2(13)ZF')
      security_hole(0);
    else if (version == '12.2(13)ZE')
      security_hole(0);
    else if (version == '12.2(13)ZD4')
      security_hole(0);
    else if (version == '12.2(13)ZD3')
      security_hole(0);
    else if (version == '12.2(13)ZD2')
      security_hole(0);
    else if (version == '12.2(13)ZD1')
      security_hole(0);
    else if (version == '12.2(13)ZD')
      security_hole(0);
    else if (version == '12.2(13)ZC')
      security_hole(0);
    else if (version == '12.2(11)ZC')
      security_hole(0);
    else if (version == '12.2(8)ZB8')
      security_hole(0);
    else if (version == '12.2(8)ZB7')
      security_hole(0);
    else if (version == '12.2(8)ZB6')
      security_hole(0);
    else if (version == '12.2(8)ZB5')
      security_hole(0);
    else if (version == '12.2(8)ZB4a')
      security_hole(0);
    else if (version == '12.2(8)ZB4')
      security_hole(0);
    else if (version == '12.2(8)ZB3')
      security_hole(0);
    else if (version == '12.2(8)ZB2')
      security_hole(0);
    else if (version == '12.2(8)ZB1')
      security_hole(0);
    else if (version == '12.2(8)ZB')
      security_hole(0);
    else if (version == '12.2(14)ZA7')
      security_hole(0);
    else if (version == '12.2(14)ZA6')
      security_hole(0);
    else if (version == '12.2(14)ZA5')
      security_hole(0);
    else if (version == '12.2(14)ZA4')
      security_hole(0);
    else if (version == '12.2(14)ZA3')
      security_hole(0);
    else if (version == '12.2(14)ZA2')
      security_hole(0);
    else if (version == '12.2(14)ZA1')
      security_hole(0);
    else if (version == '12.2(14)ZA')
      security_hole(0);
    else if (version == '12.2(9)ZA')
      security_hole(0);
    else if (version == '12.2(11)YZ2')
      security_hole(0);
    else if (version == '12.2(11)YZ1')
      security_hole(0);
    else if (version == '12.2(11)YZ')
      security_hole(0);
    else if (version == '12.2(8)YY4')
      security_hole(0);
    else if (version == '12.2(8)YY3')
      security_hole(0);
    else if (version == '12.2(8)YY2')
      security_hole(0);
    else if (version == '12.2(8)YY1')
      security_hole(0);
    else if (version == '12.2(8)YY')
      security_hole(0);
    else if (version == '12.2(11)YX1')
      security_hole(0);
    else if (version == '12.2(11)YX')
      security_hole(0);
    else if (version == '12.2(8)YW3')
      security_hole(0);
    else if (version == '12.2(8)YW2')
      security_hole(0);
    else if (version == '12.2(8)YW1')
      security_hole(0);
    else if (version == '12.2(8)YW')
      security_hole(0);
    else if (version == '12.2(11)YV1')
      security_hole(0);
    else if (version == '12.2(11)YV')
      security_hole(0);
    else if (version == '12.2(11)YU')
      security_hole(0);
    else if (version == '12.2(11)YT2')
      security_hole(0);
    else if (version == '12.2(11)YT1')
      security_hole(0);
    else if (version == '12.2(11)YT')
      security_hole(0);
    else if (version == '12.2(11)YR')
      security_hole(0);
    else if (version == '12.2(11)YQ')
      security_hole(0);
    else if (version == '12.2(11)YP3')
      security_hole(0);
    else if (version == '12.2(8)YN1')
      security_hole(0);
    else if (version == '12.2(8)YN')
      security_hole(0);
    else if (version == '12.2(8)YM')
      security_hole(0);
    else if (version == '12.2(8)YL')
      security_hole(0);
    else if (version == '12.2(2)YK1')
      security_hole(0);
    else if (version == '12.2(2)YK')
      security_hole(0);
    else if (version == '12.2(8)YJ1')
      security_hole(0);
    else if (version == '12.2(8)YJ')
      security_hole(0);
    else if (version == '12.2(4)YH')
      security_hole(0);
    else if (version == '12.2(4)YG')
      security_hole(0);
    else if (version == '12.2(4)YF')
      security_hole(0);
    else if (version == '12.2(9)YE')
      security_hole(0);
    else if (version == '12.2(8)YD3')
      security_hole(0);
    else if (version == '12.2(8)YD2')
      security_hole(0);
    else if (version == '12.2(8)YD1')
      security_hole(0);
    else if (version == '12.2(8)YD')
      security_hole(0);
    else if (version == '12.2(2)YC4')
      security_hole(0);
    else if (version == '12.2(2)YC3')
      security_hole(0);
    else if (version == '12.2(2)YC2')
      security_hole(0);
    else if (version == '12.2(2)YC1')
      security_hole(0);
    else if (version == '12.2(2)YC')
      security_hole(0);
    else if (version == '12.2(4)YB')
      security_hole(0);
    else if (version == '12.2(4)YA9')
      security_hole(0);
    else if (version == '12.2(4)YA8')
      security_hole(0);
    else if (version == '12.2(4)YA7')
      security_hole(0);
    else if (version == '12.2(4)YA6')
      security_hole(0);
    else if (version == '12.2(4)YA5')
      security_hole(0);
    else if (version == '12.2(4)YA4')
      security_hole(0);
    else if (version == '12.2(4)YA3')
      security_hole(0);
    else if (version == '12.2(4)YA2')
      security_hole(0);
    else if (version == '12.2(4)YA12')
      security_hole(0);
    else if (version == '12.2(4)YA11')
      security_hole(0);
    else if (version == '12.2(4)YA10')
      security_hole(0);
    else if (version == '12.2(4)YA1')
      security_hole(0);
    else if (version == '12.2(4)YA')
      security_hole(0);
    else if (version == '12.2(4)XW')
      security_hole(0);
    else if (version == '12.2(4)XV5')
      security_hole(0);
    else if (version == '12.2(4)XV4a')
      security_hole(0);
    else if (version == '12.2(4)XV4')
      security_hole(0);
    else if (version == '12.2(4)XV3')
      security_hole(0);
    else if (version == '12.2(4)XV2')
      security_hole(0);
    else if (version == '12.2(4)XV1')
      security_hole(0);
    else if (version == '12.2(4)XV')
      security_hole(0);
    else if (version == '12.2(2)XU')
      security_hole(0);
    else if (version == '12.2(2)XT3')
      security_hole(0);
    else if (version == '12.2(2)XT2')
      security_hole(0);
    else if (version == '12.2(2)XT')
      security_hole(0);
    else if (version == '12.2(1)XS2')
      security_hole(0);
    else if (version == '12.2(1)XS1a')
      security_hole(0);
    else if (version == '12.2(1)XS1')
      security_hole(0);
    else if (version == '12.2(1)XS')
      security_hole(0);
    else if (version == '12.2(15)XR2')
      security_hole(0);
    else if (version == '12.2(15)XR1')
      security_hole(0);
    else if (version == '12.2(15)XR')
      security_hole(0);
    else if (version == '12.2(4)XR')
      security_hole(0);
    else if (version == '12.2(2)XR')
      security_hole(0);
    else if (version == '12.2(2)XQ1')
      security_hole(0);
    else if (version == '12.2(2)XQ')
      security_hole(0);
    else if (version == '12.2(40)XO')
      security_hole(0);
    else if (version == '12.2(33)XN1')
      security_hole(0);
    else if (version == '12.2(2)XN')
      security_hole(0);
    else if (version == '12.2(4)XM4')
      security_hole(0);
    else if (version == '12.2(4)XM3')
      security_hole(0);
    else if (version == '12.2(4)XM2')
      security_hole(0);
    else if (version == '12.2(4)XM1')
      security_hole(0);
    else if (version == '12.2(4)XM')
      security_hole(0);
    else if (version == '12.2(4)XL6')
      security_hole(0);
    else if (version == '12.2(4)XL5')
      security_hole(0);
    else if (version == '12.2(4)XL4')
      security_hole(0);
    else if (version == '12.2(4)XL3')
      security_hole(0);
    else if (version == '12.2(4)XL2')
      security_hole(0);
    else if (version == '12.2(4)XL1')
      security_hole(0);
    else if (version == '12.2(4)XL')
      security_hole(0);
    else if (version == '12.2(2)XK3')
      security_hole(0);
    else if (version == '12.2(2)XK2')
      security_hole(0);
    else if (version == '12.2(2)XK1')
      security_hole(0);
    else if (version == '12.2(2)XK')
      security_hole(0);
    else if (version == '12.2(2)XJ')
      security_hole(0);
    else if (version == '12.2(2)XI2')
      security_hole(0);
    else if (version == '12.2(2)XI1')
      security_hole(0);
    else if (version == '12.2(2)XI')
      security_hole(0);
    else if (version == '12.2(2)XH2')
      security_hole(0);
    else if (version == '12.2(2)XH1')
      security_hole(0);
    else if (version == '12.2(2)XH')
      security_hole(0);
    else if (version == '12.2(2)XG1')
      security_hole(0);
    else if (version == '12.2(2)XG')
      security_hole(0);
    else if (version == '12.2(4)XF1')
      security_hole(0);
    else if (version == '12.2(4)XF')
      security_hole(0);
    else if (version == '12.2(2)XF2')
      security_hole(0);
    else if (version == '12.2(2)XF1')
      security_hole(0);
    else if (version == '12.2(2)XF')
      security_hole(0);
    else if (version == '12.2(1)XF1')
      security_hole(0);
    else if (version == '12.2(1)XF')
      security_hole(0);
    else if (version == '12.2(1)XE2')
      security_hole(0);
    else if (version == '12.2(1)XE1')
      security_hole(0);
    else if (version == '12.2(1)XE')
      security_hole(0);
    else if (version == '12.2(1)XD4')
      security_hole(0);
    else if (version == '12.2(1)XD3')
      security_hole(0);
    else if (version == '12.2(1)XD2')
      security_hole(0);
    else if (version == '12.2(1)XD1')
      security_hole(0);
    else if (version == '12.2(1)XD')
      security_hole(0);
    else if (version == '12.2(2)XC2')
      security_hole(0);
    else if (version == '12.2(2)XC1')
      security_hole(0);
    else if (version == '12.2(2)XC')
      security_hole(0);
    else if (version == '12.2(1a)XC3')
      security_hole(0);
    else if (version == '12.2(1a)XC2')
      security_hole(0);
    else if (version == '12.2(1a)XC1')
      security_hole(0);
    else if (version == '12.2(1a)XC')
      security_hole(0);
    else if (version == '12.2(2)XB8')
      security_hole(0);
    else if (version == '12.2(2)XB7')
      security_hole(0);
    else if (version == '12.2(2)XB6')
      security_hole(0);
    else if (version == '12.2(2)XB5')
      security_hole(0);
    else if (version == '12.2(2)XB3')
      security_hole(0);
    else if (version == '12.2(2)XB2')
      security_hole(0);
    else if (version == '12.2(2)XB15')
      security_hole(0);
    else if (version == '12.2(2)XB14')
      security_hole(0);
    else if (version == '12.2(2)XB12')
      security_hole(0);
    else if (version == '12.2(2)XB11')
      security_hole(0);
    else if (version == '12.2(2)XB10')
      security_hole(0);
    else if (version == '12.2(2)XB1')
      security_hole(0);
    else if (version == '12.2(2)XA5')
      security_hole(0);
    else if (version == '12.2(2)XA4')
      security_hole(0);
    else if (version == '12.2(2)XA3')
      security_hole(0);
    else if (version == '12.2(2)XA2')
      security_hole(0);
    else if (version == '12.2(2)XA1')
      security_hole(0);
    else if (version == '12.2(2)XA')
      security_hole(0);
    else if (version == '12.2(8)TPC10c')
      security_hole(0);
    else if (version == '12.2(8)TPC10b')
      security_hole(0);
    else if (version == '12.2(8)TPC10a')
      security_hole(0);
    else if (version == '12.2(15)T9')
      security_hole(0);
    else if (version == '12.2(15)T8')
      security_hole(0);
    else if (version == '12.2(15)T7')
      security_hole(0);
    else if (version == '12.2(15)T5')
      security_hole(0);
    else if (version == '12.2(15)T4e')
      security_hole(0);
    else if (version == '12.2(15)T4')
      security_hole(0);
    else if (version == '12.2(15)T2')
      security_hole(0);
    else if (version == '12.2(15)T16')
      security_hole(0);
    else if (version == '12.2(15)T15')
      security_hole(0);
    else if (version == '12.2(15)T14')
      security_hole(0);
    else if (version == '12.2(15)T13')
      security_hole(0);
    else if (version == '12.2(15)T12')
      security_hole(0);
    else if (version == '12.2(15)T11')
      security_hole(0);
    else if (version == '12.2(15)T10')
      security_hole(0);
    else if (version == '12.2(15)T1')
      security_hole(0);
    else if (version == '12.2(15)T')
      security_hole(0);
    else if (version == '12.2(13)T9')
      security_hole(0);
    else if (version == '12.2(13)T8')
      security_hole(0);
    else if (version == '12.2(13)T5')
      security_hole(0);
    else if (version == '12.2(13)T4')
      security_hole(0);
    else if (version == '12.2(13)T3')
      security_hole(0);
    else if (version == '12.2(13)T2')
      security_hole(0);
    else if (version == '12.2(13)T16')
      security_hole(0);
    else if (version == '12.2(13)T14')
      security_hole(0);
    else if (version == '12.2(13)T13')
      security_hole(0);
    else if (version == '12.2(13)T12')
      security_hole(0);
    else if (version == '12.2(13)T11')
      security_hole(0);
    else if (version == '12.2(13)T10')
      security_hole(0);
    else if (version == '12.2(13)T1a')
      security_hole(0);
    else if (version == '12.2(13)T1')
      security_hole(0);
    else if (version == '12.2(13)T')
      security_hole(0);
    else if (version == '12.2(11)T9')
      security_hole(0);
    else if (version == '12.2(11)T8')
      security_hole(0);
    else if (version == '12.2(11)T6')
      security_hole(0);
    else if (version == '12.2(11)T5')
      security_hole(0);
    else if (version == '12.2(11)T4')
      security_hole(0);
    else if (version == '12.2(11)T3')
      security_hole(0);
    else if (version == '12.2(11)T2')
      security_hole(0);
    else if (version == '12.2(11)T11')
      security_hole(0);
    else if (version == '12.2(11)T10')
      security_hole(0);
    else if (version == '12.2(11)T1')
      security_hole(0);
    else if (version == '12.2(11)T')
      security_hole(0);
    else if (version == '12.2(8)T8')
      security_hole(0);
    else if (version == '12.2(8)T7')
      security_hole(0);
    else if (version == '12.2(8)T5')
      security_hole(0);
    else if (version == '12.2(8)T4')
      security_hole(0);
    else if (version == '12.2(8)T3')
      security_hole(0);
    else if (version == '12.2(8)T2')
      security_hole(0);
    else if (version == '12.2(8)T10')
      security_hole(0);
    else if (version == '12.2(8)T1')
      security_hole(0);
    else if (version == '12.2(8)T')
      security_hole(0);
    else if (version == '12.2(4)T7')
      security_hole(0);
    else if (version == '12.2(4)T6')
      security_hole(0);
    else if (version == '12.2(4)T5')
      security_hole(0);
    else if (version == '12.2(4)T3')
      security_hole(0);
    else if (version == '12.2(4)T2')
      security_hole(0);
    else if (version == '12.2(4)T1')
      security_hole(0);
    else if (version == '12.2(4)T')
      security_hole(0);
    else if (version == '12.2(2)T4')
      security_hole(0);
    else if (version == '12.2(2)T3')
      security_hole(0);
    else if (version == '12.2(2)T2')
      security_hole(0);
    else if (version == '12.2(2)T1')
      security_hole(0);
    else if (version == '12.2(2)T')
      security_hole(0);
    else if (version == '12.2(14)SZ6')
      security_hole(0);
    else if (version == '12.2(14)SZ5')
      security_hole(0);
    else if (version == '12.2(14)SZ4')
      security_hole(0);
    else if (version == '12.2(14)SZ3')
      security_hole(0);
    else if (version == '12.2(14)SZ2')
      security_hole(0);
    else if (version == '12.2(14)SZ1')
      security_hole(0);
    else if (version == '12.2(14)SZ')
      security_hole(0);
    else if (version == '12.2(14)SY5')
      security_hole(0);
    else if (version == '12.2(14)SY4')
      security_hole(0);
    else if (version == '12.2(14)SY3')
      security_hole(0);
    else if (version == '12.2(14)SY2')
      security_hole(0);
    else if (version == '12.2(14)SY1')
      security_hole(0);
    else if (version == '12.2(14)SY')
      security_hole(0);
    else if (version == '12.2(33)SXI')
      security_hole(0);
    else if (version == '12.2(33)SXH4')
      security_hole(0);
    else if (version == '12.2(33)SXH3a')
      security_hole(0);
    else if (version == '12.2(33)SXH3')
      security_hole(0);
    else if (version == '12.2(33)SXH2a')
      security_hole(0);
    else if (version == '12.2(33)SXH2')
      security_hole(0);
    else if (version == '12.2(33)SXH1')
      security_hole(0);
    else if (version == '12.2(33)SXH')
      security_hole(0);
    else if (version == '12.2(18)SXF9')
      security_hole(0);
    else if (version == '12.2(18)SXF8')
      security_hole(0);
    else if (version == '12.2(18)SXF7')
      security_hole(0);
    else if (version == '12.2(18)SXF6')
      security_hole(0);
    else if (version == '12.2(18)SXF5')
      security_hole(0);
    else if (version == '12.2(18)SXF4')
      security_hole(0);
    else if (version == '12.2(18)SXF3')
      security_hole(0);
    else if (version == '12.2(18)SXF2')
      security_hole(0);
    else if (version == '12.2(18)SXF15a')
      security_hole(0);
    else if (version == '12.2(18)SXF15')
      security_hole(0);
    else if (version == '12.2(18)SXF14')
      security_hole(0);
    else if (version == '12.2(18)SXF13')
      security_hole(0);
    else if (version == '12.2(18)SXF12a')
      security_hole(0);
    else if (version == '12.2(18)SXF12')
      security_hole(0);
    else if (version == '12.2(18)SXF11')
      security_hole(0);
    else if (version == '12.2(18)SXF10a')
      security_hole(0);
    else if (version == '12.2(18)SXF10')
      security_hole(0);
    else if (version == '12.2(18)SXF1')
      security_hole(0);
    else if (version == '12.2(18)SXF')
      security_hole(0);
    else if (version == '12.2(18)SXE6b')
      security_hole(0);
    else if (version == '12.2(18)SXE6a')
      security_hole(0);
    else if (version == '12.2(18)SXE6')
      security_hole(0);
    else if (version == '12.2(18)SXE5')
      security_hole(0);
    else if (version == '12.2(18)SXE4')
      security_hole(0);
    else if (version == '12.2(18)SXE3')
      security_hole(0);
    else if (version == '12.2(18)SXE2')
      security_hole(0);
    else if (version == '12.2(18)SXE1')
      security_hole(0);
    else if (version == '12.2(18)SXE')
      security_hole(0);
    else if (version == '12.2(18)SXD7b')
      security_hole(0);
    else if (version == '12.2(18)SXD7a')
      security_hole(0);
    else if (version == '12.2(18)SXD7')
      security_hole(0);
    else if (version == '12.2(18)SXD6')
      security_hole(0);
    else if (version == '12.2(18)SXD5')
      security_hole(0);
    else if (version == '12.2(18)SXD4')
      security_hole(0);
    else if (version == '12.2(18)SXD3')
      security_hole(0);
    else if (version == '12.2(18)SXD2')
      security_hole(0);
    else if (version == '12.2(18)SXD1')
      security_hole(0);
    else if (version == '12.2(18)SXD')
      security_hole(0);
    else if (version == '12.2(17d)SXB9')
      security_hole(0);
    else if (version == '12.2(17d)SXB8')
      security_hole(0);
    else if (version == '12.2(17d)SXB7')
      security_hole(0);
    else if (version == '12.2(17d)SXB6')
      security_hole(0);
    else if (version == '12.2(17d)SXB5')
      security_hole(0);
    else if (version == '12.2(17d)SXB4')
      security_hole(0);
    else if (version == '12.2(17d)SXB3')
      security_hole(0);
    else if (version == '12.2(17d)SXB2')
      security_hole(0);
    else if (version == '12.2(17d)SXB11a')
      security_hole(0);
    else if (version == '12.2(17d)SXB11')
      security_hole(0);
    else if (version == '12.2(17d)SXB10')
      security_hole(0);
    else if (version == '12.2(17d)SXB1')
      security_hole(0);
    else if (version == '12.2(17d)SXB')
      security_hole(0);
    else if (version == '12.2(17b)SXA2')
      security_hole(0);
    else if (version == '12.2(17b)SXA')
      security_hole(0);
    else if (version == '12.2(17a)SX4')
      security_hole(0);
    else if (version == '12.2(17a)SX3')
      security_hole(0);
    else if (version == '12.2(17a)SX2')
      security_hole(0);
    else if (version == '12.2(17a)SX1')
      security_hole(0);
    else if (version == '12.2(17a)SX')
      security_hole(0);
    else if (version == '12.2(14)SX2')
      security_hole(0);
    else if (version == '12.2(14)SX1')
      security_hole(0);
    else if (version == '12.2(14)SX')
      security_hole(0);
    else if (version == '12.2(25)SW9')
      security_hole(0);
    else if (version == '12.2(25)SW8')
      security_hole(0);
    else if (version == '12.2(25)SW7')
      security_hole(0);
    else if (version == '12.2(25)SW6')
      security_hole(0);
    else if (version == '12.2(25)SW5')
      security_hole(0);
    else if (version == '12.2(25)SW4a')
      security_hole(0);
    else if (version == '12.2(25)SW4')
      security_hole(0);
    else if (version == '12.2(25)SW3a')
      security_hole(0);
    else if (version == '12.2(25)SW3')
      security_hole(0);
    else if (version == '12.2(25)SW2')
      security_hole(0);
    else if (version == '12.2(25)SW12')
      security_hole(0);
    else if (version == '12.2(25)SW11')
      security_hole(0);
    else if (version == '12.2(25)SW10')
      security_hole(0);
    else if (version == '12.2(25)SW1')
      security_hole(0);
    else if (version == '12.2(23)SW1')
      security_hole(0);
    else if (version == '12.2(23)SW')
      security_hole(0);
    else if (version == '12.2(21)SW1')
      security_hole(0);
    else if (version == '12.2(21)SW')
      security_hole(0);
    else if (version == '12.2(20)SW')
      security_hole(0);
    else if (version == '12.2(19)SW')
      security_hole(0);
    else if (version == '12.2(18)SW')
      security_hole(0);
    else if (version == '12.2(29)SVE0')
      security_hole(0);
    else if (version == '12.2(29)SVD1')
      security_hole(0);
    else if (version == '12.2(29)SVD0')
      security_hole(0);
    else if (version == '12.2(29)SVD')
      security_hole(0);
    else if (version == '12.2(29)SVC')
      security_hole(0);
    else if (version == '12.2(29)SVA2')
      security_hole(0);
    else if (version == '12.2(29b)SV1')
      security_hole(0);
    else if (version == '12.2(29b)SV')
      security_hole(0);
    else if (version == '12.2(29a)SV1')
      security_hole(0);
    else if (version == '12.2(29a)SV')
      security_hole(0);
    else if (version == '12.2(29)SV3')
      security_hole(0);
    else if (version == '12.2(29)SV2')
      security_hole(0);
    else if (version == '12.2(29)SV1')
      security_hole(0);
    else if (version == '12.2(29)SV')
      security_hole(0);
    else if (version == '12.2(28)SV2')
      security_hole(0);
    else if (version == '12.2(28)SV1')
      security_hole(0);
    else if (version == '12.2(28)SV')
      security_hole(0);
    else if (version == '12.2(27)SV5')
      security_hole(0);
    else if (version == '12.2(27)SV4')
      security_hole(0);
    else if (version == '12.2(27)SV3')
      security_hole(0);
    else if (version == '12.2(27)SV2')
      security_hole(0);
    else if (version == '12.2(27)SV1')
      security_hole(0);
    else if (version == '12.2(27)SV')
      security_hole(0);
    else if (version == '12.2(26)SV1')
      security_hole(0);
    else if (version == '12.2(26)SV')
      security_hole(0);
    else if (version == '12.2(25)SV3')
      security_hole(0);
    else if (version == '12.2(25)SV2')
      security_hole(0);
    else if (version == '12.2(25)SV')
      security_hole(0);
    else if (version == '12.2(24)SV1')
      security_hole(0);
    else if (version == '12.2(24)SV')
      security_hole(0);
    else if (version == '12.2(23)SV1')
      security_hole(0);
    else if (version == '12.2(23)SV')
      security_hole(0);
    else if (version == '12.2(22)SV1')
      security_hole(0);
    else if (version == '12.2(22)SV')
      security_hole(0);
    else if (version == '12.2(18)SV3')
      security_hole(0);
    else if (version == '12.2(18)SV2')
      security_hole(0);
    else if (version == '12.2(18)SV1')
      security_hole(0);
    else if (version == '12.2(18)SV')
      security_hole(0);
    else if (version == '12.2(14)SU2')
      security_hole(0);
    else if (version == '12.2(14)SU1')
      security_hole(0);
    else if (version == '12.2(14)SU')
      security_hole(0);
    else if (version == '12.2(33)STE0')
      security_hole(0);
    else if (version == '12.2(33)SRD')
      security_hole(0);
    else if (version == '12.2(33)SRC2')
      security_hole(0);
    else if (version == '12.2(33)SRC1')
      security_hole(0);
    else if (version == '12.2(33)SRC')
      security_hole(0);
    else if (version == '12.2(33)SRB5')
      security_hole(0);
    else if (version == '12.2(33)SRB4')
      security_hole(0);
    else if (version == '12.2(33)SRB3')
      security_hole(0);
    else if (version == '12.2(33)SRB2')
      security_hole(0);
    else if (version == '12.2(33)SRB1')
      security_hole(0);
    else if (version == '12.2(33)SRB')
      security_hole(0);
    else if (version == '12.2(33)SRA7')
      security_hole(0);
    else if (version == '12.2(33)SRA6')
      security_hole(0);
    else if (version == '12.2(33)SRA5')
      security_hole(0);
    else if (version == '12.2(33)SRA4')
      security_hole(0);
    else if (version == '12.2(33)SRA3')
      security_hole(0);
    else if (version == '12.2(33)SRA2')
      security_hole(0);
    else if (version == '12.2(33)SRA1')
      security_hole(0);
    else if (version == '12.2(33)SRA')
      security_hole(0);
    else if (version == '12.2(44)SQ')
      security_hole(0);
    else if (version == '12.2(18)SO7')
      security_hole(0);
    else if (version == '12.2(18)SO6')
      security_hole(0);
    else if (version == '12.2(18)SO5')
      security_hole(0);
    else if (version == '12.2(18)SO4')
      security_hole(0);
    else if (version == '12.2(18)SO3')
      security_hole(0);
    else if (version == '12.2(18)SO2')
      security_hole(0);
    else if (version == '12.2(18)SO1')
      security_hole(0);
    else if (version == '12.2(29)SM4')
      security_hole(0);
    else if (version == '12.2(29)SM3')
      security_hole(0);
    else if (version == '12.2(29)SM2')
      security_hole(0);
    else if (version == '12.2(29)SM1')
      security_hole(0);
    else if (version == '12.2(29)SM')
      security_hole(0);
    else if (version == '12.2(31)SGA8')
      security_hole(0);
    else if (version == '12.2(31)SGA7')
      security_hole(0);
    else if (version == '12.2(31)SGA6')
      security_hole(0);
    else if (version == '12.2(31)SGA5')
      security_hole(0);
    else if (version == '12.2(31)SGA4')
      security_hole(0);
    else if (version == '12.2(31)SGA3')
      security_hole(0);
    else if (version == '12.2(31)SGA2')
      security_hole(0);
    else if (version == '12.2(31)SGA1')
      security_hole(0);
    else if (version == '12.2(31)SGA')
      security_hole(0);
    else if (version == '12.2(46)SG1')
      security_hole(0);
    else if (version == '12.2(46)SG')
      security_hole(0);
    else if (version == '12.2(44)SG1')
      security_hole(0);
    else if (version == '12.2(44)SG')
      security_hole(0);
    else if (version == '12.2(40)SG')
      security_hole(0);
    else if (version == '12.2(37)SG1')
      security_hole(0);
    else if (version == '12.2(37)SG')
      security_hole(0);
    else if (version == '12.2(31)SG3')
      security_hole(0);
    else if (version == '12.2(31)SG2')
      security_hole(0);
    else if (version == '12.2(31)SG1')
      security_hole(0);
    else if (version == '12.2(31)SG')
      security_hole(0);
    else if (version == '12.2(25)SG4')
      security_hole(0);
    else if (version == '12.2(25)SG3')
      security_hole(0);
    else if (version == '12.2(25)SG2')
      security_hole(0);
    else if (version == '12.2(25)SG1')
      security_hole(0);
    else if (version == '12.2(25)SG')
      security_hole(0);
    else if (version == '12.2(25)SEG6')
      security_hole(0);
    else if (version == '12.2(25)SEG5')
      security_hole(0);
    else if (version == '12.2(25)SEG4')
      security_hole(0);
    else if (version == '12.2(25)SEG3')
      security_hole(0);
    else if (version == '12.2(25)SEG2')
      security_hole(0);
    else if (version == '12.2(25)SEG1')
      security_hole(0);
    else if (version == '12.2(25)SEG')
      security_hole(0);
    else if (version == '12.2(25)SEF3')
      security_hole(0);
    else if (version == '12.2(25)SEF2')
      security_hole(0);
    else if (version == '12.2(25)SEF1')
      security_hole(0);
    else if (version == '12.2(25)SEE4')
      security_hole(0);
    else if (version == '12.2(25)SEE3')
      security_hole(0);
    else if (version == '12.2(25)SEE2')
      security_hole(0);
    else if (version == '12.2(25)SEE1')
      security_hole(0);
    else if (version == '12.2(25)SEE')
      security_hole(0);
    else if (version == '12.2(25)SED1')
      security_hole(0);
    else if (version == '12.2(25)SED')
      security_hole(0);
    else if (version == '12.2(25)SEC2')
      security_hole(0);
    else if (version == '12.2(25)SEC1')
      security_hole(0);
    else if (version == '12.2(25)SEC')
      security_hole(0);
    else if (version == '12.2(25)SEB4')
      security_hole(0);
    else if (version == '12.2(25)SEB3')
      security_hole(0);
    else if (version == '12.2(25)SEB2')
      security_hole(0);
    else if (version == '12.2(25)SEB1')
      security_hole(0);
    else if (version == '12.2(25)SEB')
      security_hole(0);
    else if (version == '12.2(25)SEA')
      security_hole(0);
    else if (version == '12.2(46)SE1')
      security_hole(0);
    else if (version == '12.2(46)SE')
      security_hole(0);
    else if (version == '12.2(44)SE4')
      security_hole(0);
    else if (version == '12.2(44)SE3')
      security_hole(0);
    else if (version == '12.2(44)SE2')
      security_hole(0);
    else if (version == '12.2(44)SE1')
      security_hole(0);
    else if (version == '12.2(44)SE')
      security_hole(0);
    else if (version == '12.2(40)SE2')
      security_hole(0);
    else if (version == '12.2(40)SE1')
      security_hole(0);
    else if (version == '12.2(40)SE')
      security_hole(0);
    else if (version == '12.2(37)SE1')
      security_hole(0);
    else if (version == '12.2(37)SE')
      security_hole(0);
    else if (version == '12.2(35)SE5')
      security_hole(0);
    else if (version == '12.2(35)SE4')
      security_hole(0);
    else if (version == '12.2(35)SE3')
      security_hole(0);
    else if (version == '12.2(35)SE2')
      security_hole(0);
    else if (version == '12.2(35)SE1')
      security_hole(0);
    else if (version == '12.2(35)SE')
      security_hole(0);
    else if (version == '12.2(25)SE3')
      security_hole(0);
    else if (version == '12.2(25)SE2')
      security_hole(0);
    else if (version == '12.2(25)SE')
      security_hole(0);
    else if (version == '12.2(20)SE4')
      security_hole(0);
    else if (version == '12.2(20)SE3')
      security_hole(0);
    else if (version == '12.2(20)SE2')
      security_hole(0);
    else if (version == '12.2(20)SE1')
      security_hole(0);
    else if (version == '12.2(20)SE')
      security_hole(0);
    else if (version == '12.2(18)SE1')
      security_hole(0);
    else if (version == '12.2(18)SE')
      security_hole(0);
    else if (version == '12.2(33)SCB')
      security_hole(0);
    else if (version == '12.2(33)SCA2')
      security_hole(0);
    else if (version == '12.2(33)SCA1')
      security_hole(0);
    else if (version == '12.2(33)SCA')
      security_hole(0);
    else if (version == '12.2(27)SBC5')
      security_hole(0);
    else if (version == '12.2(27)SBC4')
      security_hole(0);
    else if (version == '12.2(27)SBC3')
      security_hole(0);
    else if (version == '12.2(27)SBC2')
      security_hole(0);
    else if (version == '12.2(27)SBC1')
      security_hole(0);
    else if (version == '12.2(27)SBC')
      security_hole(0);
    else if (version == '12.2(27)SBB4e')
      security_hole(0);
    else if (version == '12.2(33)SB2')
      security_hole(0);
    else if (version == '12.2(33)SB1')
      security_hole(0);
    else if (version == '12.2(33)SB')
      security_hole(0);
    else if (version == '12.2(31)SB9')
      security_hole(0);
    else if (version == '12.2(31)SB8')
      security_hole(0);
    else if (version == '12.2(31)SB7')
      security_hole(0);
    else if (version == '12.2(31)SB6')
      security_hole(0);
    else if (version == '12.2(31)SB5')
      security_hole(0);
    else if (version == '12.2(31)SB3x')
      security_hole(0);
    else if (version == '12.2(31)SB3')
      security_hole(0);
    else if (version == '12.2(31)SB2')
      security_hole(0);
    else if (version == '12.2(31)SB13')
      security_hole(0);
    else if (version == '12.2(31)SB12')
      security_hole(0);
    else if (version == '12.2(31)SB11')
      security_hole(0);
    else if (version == '12.2(31)SB10')
      security_hole(0);
    else if (version == '12.2(28)SB9')
      security_hole(0);
    else if (version == '12.2(28)SB8')
      security_hole(0);
    else if (version == '12.2(28)SB7')
      security_hole(0);
    else if (version == '12.2(28)SB6')
      security_hole(0);
    else if (version == '12.2(28)SB5c')
      security_hole(0);
    else if (version == '12.2(28)SB5')
      security_hole(0);
    else if (version == '12.2(28)SB4d')
      security_hole(0);
    else if (version == '12.2(28)SB4')
      security_hole(0);
    else if (version == '12.2(28)SB3')
      security_hole(0);
    else if (version == '12.2(28)SB2')
      security_hole(0);
    else if (version == '12.2(28)SB12')
      security_hole(0);
    else if (version == '12.2(28)SB11')
      security_hole(0);
    else if (version == '12.2(28)SB10')
      security_hole(0);
    else if (version == '12.2(28)SB1')
      security_hole(0);
    else if (version == '12.2(28)SB')
      security_hole(0);
    else if (version == '12.2(30)S1')
      security_hole(0);
    else if (version == '12.2(30)S')
      security_hole(0);
    else if (version == '12.2(25)S9')
      security_hole(0);
    else if (version == '12.2(25)S8')
      security_hole(0);
    else if (version == '12.2(25)S7')
      security_hole(0);
    else if (version == '12.2(25)S6')
      security_hole(0);
    else if (version == '12.2(25)S5')
      security_hole(0);
    else if (version == '12.2(25)S4')
      security_hole(0);
    else if (version == '12.2(25)S3')
      security_hole(0);
    else if (version == '12.2(25)S2')
      security_hole(0);
    else if (version == '12.2(25)S15')
      security_hole(0);
    else if (version == '12.2(25)S14')
      security_hole(0);
    else if (version == '12.2(25)S13')
      security_hole(0);
    else if (version == '12.2(25)S12')
      security_hole(0);
    else if (version == '12.2(25)S11')
      security_hole(0);
    else if (version == '12.2(25)S10')
      security_hole(0);
    else if (version == '12.2(25)S1')
      security_hole(0);
    else if (version == '12.2(25)S')
      security_hole(0);
    else if (version == '12.2(22)S2')
      security_hole(0);
    else if (version == '12.2(22)S1')
      security_hole(0);
    else if (version == '12.2(22)S')
      security_hole(0);
    else if (version == '12.2(20)S9')
      security_hole(0);
    else if (version == '12.2(20)S8')
      security_hole(0);
    else if (version == '12.2(20)S7')
      security_hole(0);
    else if (version == '12.2(20)S6')
      security_hole(0);
    else if (version == '12.2(20)S5')
      security_hole(0);
    else if (version == '12.2(20)S4')
      security_hole(0);
    else if (version == '12.2(20)S3')
      security_hole(0);
    else if (version == '12.2(20)S2')
      security_hole(0);
    else if (version == '12.2(20)S14')
      security_hole(0);
    else if (version == '12.2(20)S13')
      security_hole(0);
    else if (version == '12.2(20)S12')
      security_hole(0);
    else if (version == '12.2(20)S11')
      security_hole(0);
    else if (version == '12.2(20)S10')
      security_hole(0);
    else if (version == '12.2(20)S1')
      security_hole(0);
    else if (version == '12.2(20)S')
      security_hole(0);
    else if (version == '12.2(18)S9')
      security_hole(0);
    else if (version == '12.2(18)S8')
      security_hole(0);
    else if (version == '12.2(18)S7')
      security_hole(0);
    else if (version == '12.2(18)S6')
      security_hole(0);
    else if (version == '12.2(18)S5')
      security_hole(0);
    else if (version == '12.2(18)S4')
      security_hole(0);
    else if (version == '12.2(18)S3')
      security_hole(0);
    else if (version == '12.2(18)S2')
      security_hole(0);
    else if (version == '12.2(18)S13')
      security_hole(0);
    else if (version == '12.2(18)S12')
      security_hole(0);
    else if (version == '12.2(18)S11')
      security_hole(0);
    else if (version == '12.2(18)S10')
      security_hole(0);
    else if (version == '12.2(18)S1')
      security_hole(0);
    else if (version == '12.2(18)S')
      security_hole(0);
    else if (version == '12.2(14)S9')
      security_hole(0);
    else if (version == '12.2(14)S8')
      security_hole(0);
    else if (version == '12.2(14)S7')
      security_hole(0);
    else if (version == '12.2(14)S5')
      security_hole(0);
    else if (version == '12.2(14)S3')
      security_hole(0);
    else if (version == '12.2(14)S2')
      security_hole(0);
    else if (version == '12.2(14)S19')
      security_hole(0);
    else if (version == '12.2(14)S18')
      security_hole(0);
    else if (version == '12.2(14)S17')
      security_hole(0);
    else if (version == '12.2(14)S16')
      security_hole(0);
    else if (version == '12.2(14)S15')
      security_hole(0);
    else if (version == '12.2(14)S14')
      security_hole(0);
    else if (version == '12.2(14)S13')
      security_hole(0);
    else if (version == '12.2(14)S12')
      security_hole(0);
    else if (version == '12.2(14)S11')
      security_hole(0);
    else if (version == '12.2(14)S10')
      security_hole(0);
    else if (version == '12.2(14)S1')
      security_hole(0);
    else if (version == '12.2(14)S')
      security_hole(0);
    else if (version == '12.2(9)S')
      security_hole(0);
    else if (version == '12.2(15)MC2l')
      security_hole(0);
    else if (version == '12.2(15)MC2k')
      security_hole(0);
    else if (version == '12.2(15)MC2j')
      security_hole(0);
    else if (version == '12.2(15)MC2i')
      security_hole(0);
    else if (version == '12.2(15)MC2h')
      security_hole(0);
    else if (version == '12.2(15)MC2g')
      security_hole(0);
    else if (version == '12.2(15)MC2f')
      security_hole(0);
    else if (version == '12.2(15)MC2e')
      security_hole(0);
    else if (version == '12.2(15)MC2c')
      security_hole(0);
    else if (version == '12.2(15)MC2b')
      security_hole(0);
    else if (version == '12.2(15)MC2a')
      security_hole(0);
    else if (version == '12.2(15)MC2')
      security_hole(0);
    else if (version == '12.2(15)MC1c')
      security_hole(0);
    else if (version == '12.2(15)MC1b')
      security_hole(0);
    else if (version == '12.2(15)MC1a')
      security_hole(0);
    else if (version == '12.2(15)MC1')
      security_hole(0);
    else if (version == '12.2(8)MC2d')
      security_hole(0);
    else if (version == '12.2(8)MC2c')
      security_hole(0);
    else if (version == '12.2(8)MC2b')
      security_hole(0);
    else if (version == '12.2(8)MC2a')
      security_hole(0);
    else if (version == '12.2(8)MC2')
      security_hole(0);
    else if (version == '12.2(8)MC1')
      security_hole(0);
    else if (version == '12.2(4)MB9a')
      security_hole(0);
    else if (version == '12.2(4)MB9')
      security_hole(0);
    else if (version == '12.2(4)MB8')
      security_hole(0);
    else if (version == '12.2(4)MB7')
      security_hole(0);
    else if (version == '12.2(4)MB6')
      security_hole(0);
    else if (version == '12.2(4)MB5')
      security_hole(0);
    else if (version == '12.2(4)MB4')
      security_hole(0);
    else if (version == '12.2(4)MB3')
      security_hole(0);
    else if (version == '12.2(4)MB2')
      security_hole(0);
    else if (version == '12.2(4)MB13c')
      security_hole(0);
    else if (version == '12.2(4)MB13b')
      security_hole(0);
    else if (version == '12.2(4)MB13a')
      security_hole(0);
    else if (version == '12.2(4)MB13')
      security_hole(0);
    else if (version == '12.2(4)MB12')
      security_hole(0);
    else if (version == '12.2(4)MB11')
      security_hole(0);
    else if (version == '12.2(4)MB10')
      security_hole(0);
    else if (version == '12.2(4)MB1')
      security_hole(0);
    else if (version == '12.2(1)MB1')
      security_hole(0);
    else if (version == '12.2(12h)M1')
      security_hole(0);
    else if (version == '12.2(12b)M1')
      security_hole(0);
    else if (version == '12.2(6c)M1')
      security_hole(0);
    else if (version == '12.2(1)M0')
      security_hole(0);
    else if (version == '12.2(15)JK5')
      security_hole(0);
    else if (version == '12.2(15)JK4')
      security_hole(0);
    else if (version == '12.2(15)JK3')
      security_hole(0);
    else if (version == '12.2(15)JK2')
      security_hole(0);
    else if (version == '12.2(15)JK1')
      security_hole(0);
    else if (version == '12.2(15)JK')
      security_hole(0);
    else if (version == '12.2(15)JA')
      security_hole(0);
    else if (version == '12.2(13)JA4')
      security_hole(0);
    else if (version == '12.2(13)JA3')
      security_hole(0);
    else if (version == '12.2(13)JA2')
      security_hole(0);
    else if (version == '12.2(13)JA1')
      security_hole(0);
    else if (version == '12.2(13)JA')
      security_hole(0);
    else if (version == '12.2(11)JA3')
      security_hole(0);
    else if (version == '12.2(11)JA2')
      security_hole(0);
    else if (version == '12.2(11)JA1')
      security_hole(0);
    else if (version == '12.2(11)JA')
      security_hole(0);
    else if (version == '12.2(8)JA')
      security_hole(0);
    else if (version == '12.2(4)JA1')
      security_hole(0);
    else if (version == '12.2(4)JA')
      security_hole(0);
    else if (version == '12.2(18)IXG')
      security_hole(0);
    else if (version == '12.2(18)IXF1')
      security_hole(0);
    else if (version == '12.2(18)IXF')
      security_hole(0);
    else if (version == '12.2(18)IXE')
      security_hole(0);
    else if (version == '12.2(18)IXD1')
      security_hole(0);
    else if (version == '12.2(18)IXD')
      security_hole(0);
    else if (version == '12.2(18)IXC')
      security_hole(0);
    else if (version == '12.2(18)IXB2')
      security_hole(0);
    else if (version == '12.2(18)IXB1')
      security_hole(0);
    else if (version == '12.2(18)IXB')
      security_hole(0);
    else if (version == '12.2(18)IXA')
      security_hole(0);
    else if (version == '12.2(33)IRB')
      security_hole(0);
    else if (version == '12.2(33)IRA')
      security_hole(0);
    else if (version == '12.2(25)FZ')
      security_hole(0);
    else if (version == '12.2(25)FY')
      security_hole(0);
    else if (version == '12.2(25)FX')
      security_hole(0);
    else if (version == '12.2(25)EZ1')
      security_hole(0);
    else if (version == '12.2(25)EZ')
      security_hole(0);
    else if (version == '12.2(37)EY')
      security_hole(0);
    else if (version == '12.2(25)EY4')
      security_hole(0);
    else if (version == '12.2(25)EY3')
      security_hole(0);
    else if (version == '12.2(25)EY2')
      security_hole(0);
    else if (version == '12.2(25)EY1')
      security_hole(0);
    else if (version == '12.2(25)EY')
      security_hole(0);
    else if (version == '12.2(46)EX')
      security_hole(0);
    else if (version == '12.2(44)EX1')
      security_hole(0);
    else if (version == '12.2(44)EX')
      security_hole(0);
    else if (version == '12.2(40)EX3')
      security_hole(0);
    else if (version == '12.2(40)EX2')
      security_hole(0);
    else if (version == '12.2(40)EX1')
      security_hole(0);
    else if (version == '12.2(40)EX')
      security_hole(0);
    else if (version == '12.2(37)EX')
      security_hole(0);
    else if (version == '12.2(35)EX2')
      security_hole(0);
    else if (version == '12.2(35)EX1')
      security_hole(0);
    else if (version == '12.2(35)EX')
      security_hole(0);
    else if (version == '12.2(25)EX1')
      security_hole(0);
    else if (version == '12.2(25)EX')
      security_hole(0);
    else if (version == '12.2(20)EX')
      security_hole(0);
    else if (version == '12.2(25)EWA9')
      security_hole(0);
    else if (version == '12.2(25)EWA8')
      security_hole(0);
    else if (version == '12.2(25)EWA7')
      security_hole(0);
    else if (version == '12.2(25)EWA6')
      security_hole(0);
    else if (version == '12.2(25)EWA5')
      security_hole(0);
    else if (version == '12.2(25)EWA4')
      security_hole(0);
    else if (version == '12.2(25)EWA3')
      security_hole(0);
    else if (version == '12.2(25)EWA2')
      security_hole(0);
    else if (version == '12.2(25)EWA14')
      security_hole(0);
    else if (version == '12.2(25)EWA13')
      security_hole(0);
    else if (version == '12.2(25)EWA12')
      security_hole(0);
    else if (version == '12.2(25)EWA11')
      security_hole(0);
    else if (version == '12.2(25)EWA10')
      security_hole(0);
    else if (version == '12.2(25)EWA1')
      security_hole(0);
    else if (version == '12.2(25)EWA')
      security_hole(0);
    else if (version == '12.2(20)EWA4')
      security_hole(0);
    else if (version == '12.2(20)EWA3')
      security_hole(0);
    else if (version == '12.2(20)EWA2')
      security_hole(0);
    else if (version == '12.2(20)EWA1')
      security_hole(0);
    else if (version == '12.2(20)EWA')
      security_hole(0);
    else if (version == '12.2(25)EW')
      security_hole(0);
    else if (version == '12.2(20)EW4')
      security_hole(0);
    else if (version == '12.2(20)EW3')
      security_hole(0);
    else if (version == '12.2(20)EW2')
      security_hole(0);
    else if (version == '12.2(20)EW1')
      security_hole(0);
    else if (version == '12.2(20)EW')
      security_hole(0);
    else if (version == '12.2(18)EW7')
      security_hole(0);
    else if (version == '12.2(18)EW6')
      security_hole(0);
    else if (version == '12.2(18)EW5')
      security_hole(0);
    else if (version == '12.2(18)EW4')
      security_hole(0);
    else if (version == '12.2(18)EW3')
      security_hole(0);
    else if (version == '12.2(18)EW2')
      security_hole(0);
    else if (version == '12.2(18)EW1')
      security_hole(0);
    else if (version == '12.2(18)EW')
      security_hole(0);
    else if (version == '12.2(20)EU2')
      security_hole(0);
    else if (version == '12.2(20)EU1')
      security_hole(0);
    else if (version == '12.2(20)EU')
      security_hole(0);
    else if (version == '12.2(2)DX3')
      security_hole(0);
    else if (version == '12.2(1)DX1')
      security_hole(0);
    else if (version == '12.2(1)DX')
      security_hole(0);
    else if (version == '12.2(2)DD4')
      security_hole(0);
    else if (version == '12.2(2)DD3')
      security_hole(0);
    else if (version == '12.2(2)DD2')
      security_hole(0);
    else if (version == '12.2(2)DD1')
      security_hole(0);
    else if (version == '12.2(2)DD')
      security_hole(0);
    else if (version == '12.2(12)DA9')
      security_hole(0);
    else if (version == '12.2(12)DA8')
      security_hole(0);
    else if (version == '12.2(12)DA7')
      security_hole(0);
    else if (version == '12.2(12)DA6')
      security_hole(0);
    else if (version == '12.2(12)DA5')
      security_hole(0);
    else if (version == '12.2(12)DA4')
      security_hole(0);
    else if (version == '12.2(12)DA3')
      security_hole(0);
    else if (version == '12.2(12)DA2')
      security_hole(0);
    else if (version == '12.2(12)DA13')
      security_hole(0);
    else if (version == '12.2(12)DA12')
      security_hole(0);
    else if (version == '12.2(12)DA11')
      security_hole(0);
    else if (version == '12.2(12)DA10')
      security_hole(0);
    else if (version == '12.2(12)DA1')
      security_hole(0);
    else if (version == '12.2(12)DA')
      security_hole(0);
    else if (version == '12.2(10)DA9')
      security_hole(0);
    else if (version == '12.2(10)DA8')
      security_hole(0);
    else if (version == '12.2(10)DA7')
      security_hole(0);
    else if (version == '12.2(10)DA6')
      security_hole(0);
    else if (version == '12.2(10)DA5')
      security_hole(0);
    else if (version == '12.2(10)DA4')
      security_hole(0);
    else if (version == '12.2(10)DA3')
      security_hole(0);
    else if (version == '12.2(10)DA2')
      security_hole(0);
    else if (version == '12.2(10)DA1')
      security_hole(0);
    else if (version == '12.2(10)DA')
      security_hole(0);
    else if (version == '12.2(7)DA')
      security_hole(0);
    else if (version == '12.2(5)DA1')
      security_hole(0);
    else if (version == '12.2(5)DA')
      security_hole(0);
    else if (version == '12.2(1b)DA1')
      security_hole(0);
    else if (version == '12.2(1b)DA')
      security_hole(0);
    else if (version == '12.2(15)CZ3')
      security_hole(0);
    else if (version == '12.2(15)CZ2')
      security_hole(0);
    else if (version == '12.2(15)CZ1')
      security_hole(0);
    else if (version == '12.2(15)CZ')
      security_hole(0);
    else if (version == '12.2(11)CY')
      security_hole(0);
    else if (version == '12.2(15)CX1')
      security_hole(0);
    else if (version == '12.2(15)CX')
      security_hole(0);
    else if (version == '12.2(11)CX1')
      security_hole(0);
    else if (version == '12.2(11)CX')
      security_hole(0);
    else if (version == '12.2(15)BZ2')
      security_hole(0);
    else if (version == '12.2(4)BZ2')
      security_hole(0);
    else if (version == '12.2(4)BZ1')
      security_hole(0);
    else if (version == '12.2(8)BY2')
      security_hole(0);
    else if (version == '12.2(8)BY1')
      security_hole(0);
    else if (version == '12.2(8)BY')
      security_hole(0);
    else if (version == '12.2(2)BY3')
      security_hole(0);
    else if (version == '12.2(2)BY2')
      security_hole(0);
    else if (version == '12.2(2)BY1')
      security_hole(0);
    else if (version == '12.2(2)BY')
      security_hole(0);
    else if (version == '12.2(16)BX3')
      security_hole(0);
    else if (version == '12.2(16)BX2')
      security_hole(0);
    else if (version == '12.2(16)BX1')
      security_hole(0);
    else if (version == '12.2(16)BX')
      security_hole(0);
    else if (version == '12.2(15)BX')
      security_hole(0);
    else if (version == '12.2(2)BX1')
      security_hole(0);
    else if (version == '12.2(2)BX')
      security_hole(0);
    else if (version == '12.2(4)BW2')
      security_hole(0);
    else if (version == '12.2(4)BW1a')
      security_hole(0);
    else if (version == '12.2(4)BW1')
      security_hole(0);
    else if (version == '12.2(4)BW')
      security_hole(0);
    else if (version == '12.2(15)BC2i')
      security_hole(0);
    else if (version == '12.2(15)BC2h')
      security_hole(0);
    else if (version == '12.2(15)BC2g')
      security_hole(0);
    else if (version == '12.2(15)BC2f')
      security_hole(0);
    else if (version == '12.2(15)BC2e')
      security_hole(0);
    else if (version == '12.2(15)BC2d')
      security_hole(0);
    else if (version == '12.2(15)BC2c')
      security_hole(0);
    else if (version == '12.2(15)BC2b')
      security_hole(0);
    else if (version == '12.2(15)BC2a')
      security_hole(0);
    else if (version == '12.2(15)BC2')
      security_hole(0);
    else if (version == '12.2(15)BC1g')
      security_hole(0);
    else if (version == '12.2(15)BC1f')
      security_hole(0);
    else if (version == '12.2(15)BC1e')
      security_hole(0);
    else if (version == '12.2(15)BC1d')
      security_hole(0);
    else if (version == '12.2(15)BC1c')
      security_hole(0);
    else if (version == '12.2(15)BC1b')
      security_hole(0);
    else if (version == '12.2(15)BC1a')
      security_hole(0);
    else if (version == '12.2(15)BC1')
      security_hole(0);
    else if (version == '12.2(11)BC3d')
      security_hole(0);
    else if (version == '12.2(11)BC3c')
      security_hole(0);
    else if (version == '12.2(11)BC3b')
      security_hole(0);
    else if (version == '12.2(11)BC3a')
      security_hole(0);
    else if (version == '12.2(11)BC3')
      security_hole(0);
    else if (version == '12.2(11)BC2a')
      security_hole(0);
    else if (version == '12.2(11)BC2')
      security_hole(0);
    else if (version == '12.2(11)BC1b')
      security_hole(0);
    else if (version == '12.2(11)BC1a')
      security_hole(0);
    else if (version == '12.2(11)BC1')
      security_hole(0);
    else if (version == '12.2(8)BC2a')
      security_hole(0);
    else if (version == '12.2(8)BC2')
      security_hole(0);
    else if (version == '12.2(8)BC1')
      security_hole(0);
    else if (version == '12.2(4)BC1b')
      security_hole(0);
    else if (version == '12.2(4)BC1a')
      security_hole(0);
    else if (version == '12.2(4)BC1')
      security_hole(0);
    else if (version == '12.2(16)B2')
      security_hole(0);
    else if (version == '12.2(16)B1')
      security_hole(0);
    else if (version == '12.2(16)B')
      security_hole(0);
    else if (version == '12.2(15)B')
      security_hole(0);
    else if (version == '12.2(4)B8')
      security_hole(0);
    else if (version == '12.2(4)B7')
      security_hole(0);
    else if (version == '12.2(4)B6')
      security_hole(0);
    else if (version == '12.2(4)B5')
      security_hole(0);
    else if (version == '12.2(4)B4')
      security_hole(0);
    else if (version == '12.2(4)B3')
      security_hole(0);
    else if (version == '12.2(4)B2')
      security_hole(0);
    else if (version == '12.2(4)B1')
      security_hole(0);
    else if (version == '12.2(4)B')
      security_hole(0);
    else if (version == '12.2(2)B7')
      security_hole(0);
    else if (version == '12.2(2)B6')
      security_hole(0);
    else if (version == '12.2(2)B5')
      security_hole(0);
    else if (version == '12.2(2)B4')
      security_hole(0);
    else if (version == '12.2(2)B3')
      security_hole(0);
    else if (version == '12.2(2)B2')
      security_hole(0);
    else if (version == '12.2(2)B1')
      security_hole(0);
    else if (version == '12.2(2)B')
      security_hole(0);
    else if (version == '12.2(46a)')
      security_hole(0);
    else if (version == '12.2(46)')
      security_hole(0);
    else if (version == '12.2(40a)')
      security_hole(0);
    else if (version == '12.2(40)')
      security_hole(0);
    else if (version == '12.2(37)')
      security_hole(0);
    else if (version == '12.2(34a)')
      security_hole(0);
    else if (version == '12.2(34)')
      security_hole(0);
    else if (version == '12.2(32)')
      security_hole(0);
    else if (version == '12.2(31)')
      security_hole(0);
    else if (version == '12.2(29b)')
      security_hole(0);
    else if (version == '12.2(29a)')
      security_hole(0);
    else if (version == '12.2(29)')
      security_hole(0);
    else if (version == '12.2(28d)')
      security_hole(0);
    else if (version == '12.2(28c)')
      security_hole(0);
    else if (version == '12.2(28b)')
      security_hole(0);
    else if (version == '12.2(28a)')
      security_hole(0);
    else if (version == '12.2(28)')
      security_hole(0);
    else if (version == '12.2(27c)')
      security_hole(0);
    else if (version == '12.2(27b)')
      security_hole(0);
    else if (version == '12.2(27a)')
      security_hole(0);
    else if (version == '12.2(27)')
      security_hole(0);
    else if (version == '12.2(26c)')
      security_hole(0);
    else if (version == '12.2(26b)')
      security_hole(0);
    else if (version == '12.2(26a)')
      security_hole(0);
    else if (version == '12.2(26)')
      security_hole(0);
    else if (version == '12.2(24b)')
      security_hole(0);
    else if (version == '12.2(24a)')
      security_hole(0);
    else if (version == '12.2(24)')
      security_hole(0);
    else if (version == '12.2(23f)')
      security_hole(0);
    else if (version == '12.2(23e)')
      security_hole(0);
    else if (version == '12.2(23d)')
      security_hole(0);
    else if (version == '12.2(23c)')
      security_hole(0);
    else if (version == '12.2(23a)')
      security_hole(0);
    else if (version == '12.2(23)')
      security_hole(0);
    else if (version == '12.2(21b)')
      security_hole(0);
    else if (version == '12.2(21a)')
      security_hole(0);
    else if (version == '12.2(21)')
      security_hole(0);
    else if (version == '12.2(19c)')
      security_hole(0);
    else if (version == '12.2(19b)')
      security_hole(0);
    else if (version == '12.2(19a)')
      security_hole(0);
    else if (version == '12.2(19)')
      security_hole(0);
    else if (version == '12.2(17f)')
      security_hole(0);
    else if (version == '12.2(17e)')
      security_hole(0);
    else if (version == '12.2(17d)')
      security_hole(0);
    else if (version == '12.2(17b)')
      security_hole(0);
    else if (version == '12.2(17a)')
      security_hole(0);
    else if (version == '12.2(17)')
      security_hole(0);
    else if (version == '12.2(16f)')
      security_hole(0);
    else if (version == '12.2(16c)')
      security_hole(0);
    else if (version == '12.2(16b)')
      security_hole(0);
    else if (version == '12.2(16a)')
      security_hole(0);
    else if (version == '12.2(16)')
      security_hole(0);
    else if (version == '12.2(13e)')
      security_hole(0);
    else if (version == '12.2(13c)')
      security_hole(0);
    else if (version == '12.2(13b)')
      security_hole(0);
    else if (version == '12.2(13a)')
      security_hole(0);
    else if (version == '12.2(13)')
      security_hole(0);
    else if (version == '12.2(12m)')
      security_hole(0);
    else if (version == '12.2(12l)')
      security_hole(0);
    else if (version == '12.2(12k)')
      security_hole(0);
    else if (version == '12.2(12j)')
      security_hole(0);
    else if (version == '12.2(12i)')
      security_hole(0);
    else if (version == '12.2(12h)')
      security_hole(0);
    else if (version == '12.2(12g)')
      security_hole(0);
    else if (version == '12.2(12f)')
      security_hole(0);
    else if (version == '12.2(12e)')
      security_hole(0);
    else if (version == '12.2(12c)')
      security_hole(0);
    else if (version == '12.2(12b)')
      security_hole(0);
    else if (version == '12.2(12a)')
      security_hole(0);
    else if (version == '12.2(12)')
      security_hole(0);
    else if (version == '12.2(10g)')
      security_hole(0);
    else if (version == '12.2(10d)')
      security_hole(0);
    else if (version == '12.2(10b)')
      security_hole(0);
    else if (version == '12.2(10a)')
      security_hole(0);
    else if (version == '12.2(10)')
      security_hole(0);
    else if (version == '12.2(7g)')
      security_hole(0);
    else if (version == '12.2(7e)')
      security_hole(0);
    else if (version == '12.2(7c)')
      security_hole(0);
    else if (version == '12.2(7b)')
      security_hole(0);
    else if (version == '12.2(7a)')
      security_hole(0);
    else if (version == '12.2(7)')
      security_hole(0);
    else if (version == '12.2(6j)')
      security_hole(0);
    else if (version == '12.2(6i)')
      security_hole(0);
    else if (version == '12.2(6h)')
      security_hole(0);
    else if (version == '12.2(6g)')
      security_hole(0);
    else if (version == '12.2(6f)')
      security_hole(0);
    else if (version == '12.2(6e)')
      security_hole(0);
    else if (version == '12.2(6d)')
      security_hole(0);
    else if (version == '12.2(6c)')
      security_hole(0);
    else if (version == '12.2(6b)')
      security_hole(0);
    else if (version == '12.2(6a)')
      security_hole(0);
    else if (version == '12.2(6)')
      security_hole(0);
    else if (version == '12.2(5d)')
      security_hole(0);
    else if (version == '12.2(5c)')
      security_hole(0);
    else if (version == '12.2(5b)')
      security_hole(0);
    else if (version == '12.2(5a)')
      security_hole(0);
    else if (version == '12.2(5)')
      security_hole(0);
    else if (version == '12.2(3g)')
      security_hole(0);
    else if (version == '12.2(3d)')
      security_hole(0);
    else if (version == '12.2(3c)')
      security_hole(0);
    else if (version == '12.2(3b)')
      security_hole(0);
    else if (version == '12.2(3a)')
      security_hole(0);
    else if (version == '12.2(3)')
      security_hole(0);
    else if (version == '12.2(1d)')
      security_hole(0);
    else if (version == '12.2(1c)')
      security_hole(0);
    else if (version == '12.2(1b)')
      security_hole(0);
    else if (version == '12.2(1a)')
      security_hole(0);
    else if (version == '12.2(1)')
      security_hole(0);
    else if (version == '12.1(11)YJ4')
      security_hole(0);
    else if (version == '12.1(11)YJ3')
      security_hole(0);
    else if (version == '12.1(11)YJ2')
      security_hole(0);
    else if (version == '12.1(11)YJ')
      security_hole(0);
    else if (version == '12.1(5)YI2')
      security_hole(0);
    else if (version == '12.1(5)YI1')
      security_hole(0);
    else if (version == '12.1(5)YI')
      security_hole(0);
    else if (version == '12.1(5)YH4')
      security_hole(0);
    else if (version == '12.1(5)YH3')
      security_hole(0);
    else if (version == '12.1(5)YH2')
      security_hole(0);
    else if (version == '12.1(5)YH1')
      security_hole(0);
    else if (version == '12.1(5)YH')
      security_hole(0);
    else if (version == '12.1(5)YF4')
      security_hole(0);
    else if (version == '12.1(5)YF3')
      security_hole(0);
    else if (version == '12.1(5)YF2')
      security_hole(0);
    else if (version == '12.1(5)YF1')
      security_hole(0);
    else if (version == '12.1(5)YF')
      security_hole(0);
    else if (version == '12.1(5)YE5')
      security_hole(0);
    else if (version == '12.1(5)YE4')
      security_hole(0);
    else if (version == '12.1(5)YE3')
      security_hole(0);
    else if (version == '12.1(5)YE2')
      security_hole(0);
    else if (version == '12.1(5)YE1')
      security_hole(0);
    else if (version == '12.1(5)YD6')
      security_hole(0);
    else if (version == '12.1(5)YD5')
      security_hole(0);
    else if (version == '12.1(5)YD4')
      security_hole(0);
    else if (version == '12.1(5)YD3')
      security_hole(0);
    else if (version == '12.1(5)YD2')
      security_hole(0);
    else if (version == '12.1(5)YD1')
      security_hole(0);
    else if (version == '12.1(5)YD')
      security_hole(0);
    else if (version == '12.1(5)YC3')
      security_hole(0);
    else if (version == '12.1(5)YC2')
      security_hole(0);
    else if (version == '12.1(5)YC1')
      security_hole(0);
    else if (version == '12.1(5)YC')
      security_hole(0);
    else if (version == '12.1(5)YB5')
      security_hole(0);
    else if (version == '12.1(5)YB4')
      security_hole(0);
    else if (version == '12.1(5)YB3')
      security_hole(0);
    else if (version == '12.1(5)YB1')
      security_hole(0);
    else if (version == '12.1(5)YB')
      security_hole(0);
    else if (version == '12.1(5)YA2')
      security_hole(0);
    else if (version == '12.1(5)YA1')
      security_hole(0);
    else if (version == '12.1(5)YA')
      security_hole(0);
    else if (version == '12.1(4)XZ7')
      security_hole(0);
    else if (version == '12.1(4)XZ6')
      security_hole(0);
    else if (version == '12.1(4)XZ5')
      security_hole(0);
    else if (version == '12.1(4)XZ4')
      security_hole(0);
    else if (version == '12.1(4)XZ3')
      security_hole(0);
    else if (version == '12.1(4)XZ2')
      security_hole(0);
    else if (version == '12.1(4)XZ1')
      security_hole(0);
    else if (version == '12.1(4)XZ')
      security_hole(0);
    else if (version == '12.1(4)XY8')
      security_hole(0);
    else if (version == '12.1(4)XY7')
      security_hole(0);
    else if (version == '12.1(4)XY6')
      security_hole(0);
    else if (version == '12.1(4)XY5')
      security_hole(0);
    else if (version == '12.1(4)XY4')
      security_hole(0);
    else if (version == '12.1(4)XY3')
      security_hole(0);
    else if (version == '12.1(4)XY1')
      security_hole(0);
    else if (version == '12.1(4)XY')
      security_hole(0);
    else if (version == '12.1(5)XX3')
      security_hole(0);
    else if (version == '12.1(5)XX2')
      security_hole(0);
    else if (version == '12.1(5)XX1')
      security_hole(0);
    else if (version == '12.1(5)XX')
      security_hole(0);
    else if (version == '12.1(3)XW2')
      security_hole(0);
    else if (version == '12.1(3)XW1')
      security_hole(0);
    else if (version == '12.1(3)XW')
      security_hole(0);
    else if (version == '12.1(5)XV4')
      security_hole(0);
    else if (version == '12.1(5)XV2')
      security_hole(0);
    else if (version == '12.1(5)XV1')
      security_hole(0);
    else if (version == '12.1(5)XV')
      security_hole(0);
    else if (version == '12.1(5)XU1')
      security_hole(0);
    else if (version == '12.1(5)XU')
      security_hole(0);
    else if (version == '12.1(3)XT2')
      security_hole(0);
    else if (version == '12.1(3)XT1')
      security_hole(0);
    else if (version == '12.1(3)XT')
      security_hole(0);
    else if (version == '12.1(2)XT2')
      security_hole(0);
    else if (version == '12.1(5)XS5')
      security_hole(0);
    else if (version == '12.1(5)XS4')
      security_hole(0);
    else if (version == '12.1(5)XS3')
      security_hole(0);
    else if (version == '12.1(5)XS2')
      security_hole(0);
    else if (version == '12.1(5)XS1')
      security_hole(0);
    else if (version == '12.1(5)XS')
      security_hole(0);
    else if (version == '12.1(3)XS')
      security_hole(0);
    else if (version == '12.1(5)XR2')
      security_hole(0);
    else if (version == '12.1(5)XR1')
      security_hole(0);
    else if (version == '12.1(5)XR')
      security_hole(0);
    else if (version == '12.1(3)XQ3')
      security_hole(0);
    else if (version == '12.1(3)XQ2')
      security_hole(0);
    else if (version == '12.1(3)XQ1')
      security_hole(0);
    else if (version == '12.1(3)XQ')
      security_hole(0);
    else if (version == '12.1(3)XP4')
      security_hole(0);
    else if (version == '12.1(3)XP3')
      security_hole(0);
    else if (version == '12.1(3)XP2')
      security_hole(0);
    else if (version == '12.1(3)XP1')
      security_hole(0);
    else if (version == '12.1(3)XP')
      security_hole(0);
    else if (version == '12.1(5)XM8')
      security_hole(0);
    else if (version == '12.1(5)XM7')
      security_hole(0);
    else if (version == '12.1(5)XM6')
      security_hole(0);
    else if (version == '12.1(5)XM5')
      security_hole(0);
    else if (version == '12.1(5)XM4')
      security_hole(0);
    else if (version == '12.1(5)XM3')
      security_hole(0);
    else if (version == '12.1(5)XM2')
      security_hole(0);
    else if (version == '12.1(5)XM1')
      security_hole(0);
    else if (version == '12.1(5)XM')
      security_hole(0);
    else if (version == '12.1(3a)XL3')
      security_hole(0);
    else if (version == '12.1(3a)XL2')
      security_hole(0);
    else if (version == '12.1(3a)XL1')
      security_hole(0);
    else if (version == '12.1(3)XL')
      security_hole(0);
    else if (version == '12.1(3)XJ')
      security_hole(0);
    else if (version == '12.1(3a)XI9')
      security_hole(0);
    else if (version == '12.1(3a)XI8')
      security_hole(0);
    else if (version == '12.1(3a)XI7')
      security_hole(0);
    else if (version == '12.1(3a)XI6')
      security_hole(0);
    else if (version == '12.1(3a)XI5')
      security_hole(0);
    else if (version == '12.1(3a)XI4')
      security_hole(0);
    else if (version == '12.1(3a)XI3')
      security_hole(0);
    else if (version == '12.1(3a)XI2')
      security_hole(0);
    else if (version == '12.1(3a)XI1')
      security_hole(0);
    else if (version == '12.1(3)XI')
      security_hole(0);
    else if (version == '12.1(2a)XH3')
      security_hole(0);
    else if (version == '12.1(2a)XH2')
      security_hole(0);
    else if (version == '12.1(2a)XH1')
      security_hole(0);
    else if (version == '12.1(2a)XH')
      security_hole(0);
    else if (version == '12.1(3)XG6')
      security_hole(0);
    else if (version == '12.1(3)XG5')
      security_hole(0);
    else if (version == '12.1(3)XG4')
      security_hole(0);
    else if (version == '12.1(3)XG3')
      security_hole(0);
    else if (version == '12.1(3)XG2')
      security_hole(0);
    else if (version == '12.1(3)XG1')
      security_hole(0);
    else if (version == '12.1(3)XG')
      security_hole(0);
    else if (version == '12.1(2)XF5')
      security_hole(0);
    else if (version == '12.1(2)XF4')
      security_hole(0);
    else if (version == '12.1(2)XF3')
      security_hole(0);
    else if (version == '12.1(2)XF2')
      security_hole(0);
    else if (version == '12.1(2)XF1')
      security_hole(0);
    else if (version == '12.1(2)XF')
      security_hole(0);
    else if (version == '12.1(1)XE1')
      security_hole(0);
    else if (version == '12.1(1)XE')
      security_hole(0);
    else if (version == '12.1(1)XD2')
      security_hole(0);
    else if (version == '12.1(1)XD1')
      security_hole(0);
    else if (version == '12.1(1)XD')
      security_hole(0);
    else if (version == '12.1(1)XC1')
      security_hole(0);
    else if (version == '12.1(1)XB')
      security_hole(0);
    else if (version == '12.1(1)XA4')
      security_hole(0);
    else if (version == '12.1(1)XA3')
      security_hole(0);
    else if (version == '12.1(1)XA2')
      security_hole(0);
    else if (version == '12.1(1)XA')
      security_hole(0);
    else if (version == '12.1(5)T9')
      security_hole(0);
    else if (version == '12.1(5)T8b')
      security_hole(0);
    else if (version == '12.1(5)T8a')
      security_hole(0);
    else if (version == '12.1(5)T8')
      security_hole(0);
    else if (version == '12.1(5)T7')
      security_hole(0);
    else if (version == '12.1(5)T6')
      security_hole(0);
    else if (version == '12.1(5)T5')
      security_hole(0);
    else if (version == '12.1(5)T4')
      security_hole(0);
    else if (version == '12.1(5)T3')
      security_hole(0);
    else if (version == '12.1(5)T20')
      security_hole(0);
    else if (version == '12.1(5)T2')
      security_hole(0);
    else if (version == '12.1(5)T19')
      security_hole(0);
    else if (version == '12.1(5)T18')
      security_hole(0);
    else if (version == '12.1(5)T17')
      security_hole(0);
    else if (version == '12.1(5)T15')
      security_hole(0);
    else if (version == '12.1(5)T14')
      security_hole(0);
    else if (version == '12.1(5)T12')
      security_hole(0);
    else if (version == '12.1(5)T11')
      security_hole(0);
    else if (version == '12.1(5)T10')
      security_hole(0);
    else if (version == '12.1(5)T1')
      security_hole(0);
    else if (version == '12.1(5)T')
      security_hole(0);
    else if (version == '12.1(3a)T8')
      security_hole(0);
    else if (version == '12.1(3a)T7')
      security_hole(0);
    else if (version == '12.1(3a)T6')
      security_hole(0);
    else if (version == '12.1(3a)T5')
      security_hole(0);
    else if (version == '12.1(3a)T4')
      security_hole(0);
    else if (version == '12.1(3a)T3')
      security_hole(0);
    else if (version == '12.1(3a)T2')
      security_hole(0);
    else if (version == '12.1(3a)T1')
      security_hole(0);
    else if (version == '12.1(3)T')
      security_hole(0);
    else if (version == '12.1(2a)T2')
      security_hole(0);
    else if (version == '12.1(2a)T1')
      security_hole(0);
    else if (version == '12.1(2)T')
      security_hole(0);
    else if (version == '12.1(1a)T1')
      security_hole(0);
    else if (version == '12.1(1)T')
      security_hole(0);
    else if (version == '12.1(2)GB')
      security_hole(0);
    else if (version == '12.1(1)GA1')
      security_hole(0);
    else if (version == '12.1(1)GA')
      security_hole(0);
    else if (version == '12.1(6)EZ6')
      security_hole(0);
    else if (version == '12.1(6)EZ5')
      security_hole(0);
    else if (version == '12.1(6)EZ4')
      security_hole(0);
    else if (version == '12.1(6)EZ3')
      security_hole(0);
    else if (version == '12.1(6)EZ2')
      security_hole(0);
    else if (version == '12.1(6)EZ1')
      security_hole(0);
    else if (version == '12.1(6)EZ')
      security_hole(0);
    else if (version == '12.1(12c)EY')
      security_hole(0);
    else if (version == '12.1(10)EY')
      security_hole(0);
    else if (version == '12.1(7a)EY3')
      security_hole(0);
    else if (version == '12.1(7a)EY2')
      security_hole(0);
    else if (version == '12.1(7a)EY1')
      security_hole(0);
    else if (version == '12.1(7a)EY')
      security_hole(0);
    else if (version == '12.1(6)EY1')
      security_hole(0);
    else if (version == '12.1(6)EY')
      security_hole(0);
    else if (version == '12.1(5)EY2')
      security_hole(0);
    else if (version == '12.1(5)EY1')
      security_hole(0);
    else if (version == '12.1(5)EY')
      security_hole(0);
    else if (version == '12.1(13)EX3')
      security_hole(0);
    else if (version == '12.1(13)EX2')
      security_hole(0);
    else if (version == '12.1(13)EX1')
      security_hole(0);
    else if (version == '12.1(13)EX')
      security_hole(0);
    else if (version == '12.1(12c)EX1')
      security_hole(0);
    else if (version == '12.1(12c)EX')
      security_hole(0);
    else if (version == '12.1(11b)EX1')
      security_hole(0);
    else if (version == '12.1(11b)EX')
      security_hole(0);
    else if (version == '12.1(10)EX2')
      security_hole(0);
    else if (version == '12.1(10)EX1')
      security_hole(0);
    else if (version == '12.1(10)EX')
      security_hole(0);
    else if (version == '12.1(9)EX3')
      security_hole(0);
    else if (version == '12.1(9)EX2')
      security_hole(0);
    else if (version == '12.1(9)EX1')
      security_hole(0);
    else if (version == '12.1(9)EX')
      security_hole(0);
    else if (version == '12.1(8b)EX5')
      security_hole(0);
    else if (version == '12.1(8b)EX4')
      security_hole(0);
    else if (version == '12.1(8b)EX3')
      security_hole(0);
    else if (version == '12.1(8b)EX2')
      security_hole(0);
    else if (version == '12.1(8a)EX1')
      security_hole(0);
    else if (version == '12.1(8a)EX')
      security_hole(0);
    else if (version == '12.1(5c)EX3')
      security_hole(0);
    else if (version == '12.1(1)EX1')
      security_hole(0);
    else if (version == '12.1(1)EX')
      security_hole(0);
    else if (version == '12.1(20)EW4')
      security_hole(0);
    else if (version == '12.1(20)EW3')
      security_hole(0);
    else if (version == '12.1(20)EW2')
      security_hole(0);
    else if (version == '12.1(20)EW1')
      security_hole(0);
    else if (version == '12.1(20)EW')
      security_hole(0);
    else if (version == '12.1(19)EW3')
      security_hole(0);
    else if (version == '12.1(19)EW2')
      security_hole(0);
    else if (version == '12.1(19)EW1')
      security_hole(0);
    else if (version == '12.1(19)EW')
      security_hole(0);
    else if (version == '12.1(13)EW4')
      security_hole(0);
    else if (version == '12.1(13)EW3')
      security_hole(0);
    else if (version == '12.1(13)EW2')
      security_hole(0);
    else if (version == '12.1(13)EW1')
      security_hole(0);
    else if (version == '12.1(13)EW')
      security_hole(0);
    else if (version == '12.1(12c)EW4')
      security_hole(0);
    else if (version == '12.1(12c)EW3')
      security_hole(0);
    else if (version == '12.1(12c)EW2')
      security_hole(0);
    else if (version == '12.1(12c)EW1')
      security_hole(0);
    else if (version == '12.1(12c)EW')
      security_hole(0);
    else if (version == '12.1(11b)EW1')
      security_hole(0);
    else if (version == '12.1(11b)EW')
      security_hole(0);
    else if (version == '12.1(8a)EW1')
      security_hole(0);
    else if (version == '12.1(8a)EW')
      security_hole(0);
    else if (version == '12.1(12c)EV3')
      security_hole(0);
    else if (version == '12.1(12c)EV2')
      security_hole(0);
    else if (version == '12.1(12c)EV1')
      security_hole(0);
    else if (version == '12.1(12c)EV')
      security_hole(0);
    else if (version == '12.1(10)EV4')
      security_hole(0);
    else if (version == '12.1(10)EV3')
      security_hole(0);
    else if (version == '12.1(10)EV2')
      security_hole(0);
    else if (version == '12.1(10)EV1a')
      security_hole(0);
    else if (version == '12.1(10)EV1')
      security_hole(0);
    else if (version == '12.1(10)EV')
      security_hole(0);
    else if (version == '12.1(20)EU1')
      security_hole(0);
    else if (version == '12.1(20)EU')
      security_hole(0);
    else if (version == '12.1(20)EO3')
      security_hole(0);
    else if (version == '12.1(20)EO2')
      security_hole(0);
    else if (version == '12.1(20)EO1')
      security_hole(0);
    else if (version == '12.1(20)EO')
      security_hole(0);
    else if (version == '12.1(19)EO6')
      security_hole(0);
    else if (version == '12.1(19)EO5')
      security_hole(0);
    else if (version == '12.1(19)EO4')
      security_hole(0);
    else if (version == '12.1(19)EO3')
      security_hole(0);
    else if (version == '12.1(19)EO2')
      security_hole(0);
    else if (version == '12.1(19)EO1')
      security_hole(0);
    else if (version == '12.1(19)EO')
      security_hole(0);
    else if (version == '12.1(14)EO1')
      security_hole(0);
    else if (version == '12.1(14)EO')
      security_hole(0);
    else if (version == '12.1(22)EC1')
      security_hole(0);
    else if (version == '12.1(22)EC')
      security_hole(0);
    else if (version == '12.1(20)EC3')
      security_hole(0);
    else if (version == '12.1(20)EC2')
      security_hole(0);
    else if (version == '12.1(20)EC1')
      security_hole(0);
    else if (version == '12.1(20)EC')
      security_hole(0);
    else if (version == '12.1(19)EC1')
      security_hole(0);
    else if (version == '12.1(19)EC')
      security_hole(0);
    else if (version == '12.1(13)EC4')
      security_hole(0);
    else if (version == '12.1(13)EC3')
      security_hole(0);
    else if (version == '12.1(13)EC2')
      security_hole(0);
    else if (version == '12.1(13)EC1')
      security_hole(0);
    else if (version == '12.1(13)EC')
      security_hole(0);
    else if (version == '12.1(12c)EC1')
      security_hole(0);
    else if (version == '12.1(12c)EC')
      security_hole(0);
    else if (version == '12.1(11b)EC1')
      security_hole(0);
    else if (version == '12.1(11b)EC')
      security_hole(0);
    else if (version == '12.1(10)EC1')
      security_hole(0);
    else if (version == '12.1(10)EC')
      security_hole(0);
    else if (version == '12.1(9)EC1')
      security_hole(0);
    else if (version == '12.1(8)EC1')
      security_hole(0);
    else if (version == '12.1(8)EC')
      security_hole(0);
    else if (version == '12.1(7)EC')
      security_hole(0);
    else if (version == '12.1(6)EC1')
      security_hole(0);
    else if (version == '12.1(6)EC')
      security_hole(0);
    else if (version == '12.1(5)EC1')
      security_hole(0);
    else if (version == '12.1(5)EC')
      security_hole(0);
    else if (version == '12.1(4)EC')
      security_hole(0);
    else if (version == '12.1(3a)EC1')
      security_hole(0);
    else if (version == '12.1(3a)EC')
      security_hole(0);
    else if (version == '12.1(2)EC1')
      security_hole(0);
    else if (version == '12.1(2)EC')
      security_hole(0);
    else if (version == '12.1(26)EB1')
      security_hole(0);
    else if (version == '12.1(26)EB')
      security_hole(0);
    else if (version == '12.1(23)EB')
      security_hole(0);
    else if (version == '12.1(22)EB')
      security_hole(0);
    else if (version == '12.1(20)EB')
      security_hole(0);
    else if (version == '12.1(19)EB')
      security_hole(0);
    else if (version == '12.1(14)EB1')
      security_hole(0);
    else if (version == '12.1(14)EB')
      security_hole(0);
    else if (version == '12.1(13)EB1')
      security_hole(0);
    else if (version == '12.1(13)EB')
      security_hole(0);
    else if (version == '12.1(22)EA9')
      security_hole(0);
    else if (version == '12.1(22)EA8a')
      security_hole(0);
    else if (version == '12.1(22)EA8')
      security_hole(0);
    else if (version == '12.1(22)EA7')
      security_hole(0);
    else if (version == '12.1(22)EA6a')
      security_hole(0);
    else if (version == '12.1(22)EA6')
      security_hole(0);
    else if (version == '12.1(22)EA5a')
      security_hole(0);
    else if (version == '12.1(22)EA5')
      security_hole(0);
    else if (version == '12.1(22)EA4a')
      security_hole(0);
    else if (version == '12.1(22)EA4')
      security_hole(0);
    else if (version == '12.1(22)EA3')
      security_hole(0);
    else if (version == '12.1(22)EA2')
      security_hole(0);
    else if (version == '12.1(22)EA12')
      security_hole(0);
    else if (version == '12.1(22)EA11')
      security_hole(0);
    else if (version == '12.1(22)EA10b')
      security_hole(0);
    else if (version == '12.1(22)EA10a')
      security_hole(0);
    else if (version == '12.1(22)EA10')
      security_hole(0);
    else if (version == '12.1(22)EA1b')
      security_hole(0);
    else if (version == '12.1(22)EA1a')
      security_hole(0);
    else if (version == '12.1(22)EA1')
      security_hole(0);
    else if (version == '12.1(20)EA2')
      security_hole(0);
    else if (version == '12.1(20)EA1a')
      security_hole(0);
    else if (version == '12.1(20)EA1')
      security_hole(0);
    else if (version == '12.1(19)EA1d')
      security_hole(0);
    else if (version == '12.1(19)EA1c')
      security_hole(0);
    else if (version == '12.1(19)EA1b')
      security_hole(0);
    else if (version == '12.1(19)EA1a')
      security_hole(0);
    else if (version == '12.1(19)EA1')
      security_hole(0);
    else if (version == '12.1(14)EA1b')
      security_hole(0);
    else if (version == '12.1(14)EA1a')
      security_hole(0);
    else if (version == '12.1(14)EA1')
      security_hole(0);
    else if (version == '12.1(13)EA1c')
      security_hole(0);
    else if (version == '12.1(13)EA1b')
      security_hole(0);
    else if (version == '12.1(13)EA1a')
      security_hole(0);
    else if (version == '12.1(13)EA1')
      security_hole(0);
    else if (version == '12.1(12c)EA1a')
      security_hole(0);
    else if (version == '12.1(12c)EA1')
      security_hole(0);
    else if (version == '12.1(11)EA1a')
      security_hole(0);
    else if (version == '12.1(11)EA1')
      security_hole(0);
    else if (version == '12.1(9)EA1')
      security_hole(0);
    else if (version == '12.1(8)EA1c')
      security_hole(0);
    else if (version == '12.1(6)EA1')
      security_hole(0);
    else if (version == '12.1(27b)E4')
      security_hole(0);
    else if (version == '12.1(27b)E3')
      security_hole(0);
    else if (version == '12.1(27b)E2')
      security_hole(0);
    else if (version == '12.1(27b)E1')
      security_hole(0);
    else if (version == '12.1(27b)E')
      security_hole(0);
    else if (version == '12.1(26)E9')
      security_hole(0);
    else if (version == '12.1(26)E8')
      security_hole(0);
    else if (version == '12.1(26)E7')
      security_hole(0);
    else if (version == '12.1(26)E6')
      security_hole(0);
    else if (version == '12.1(26)E5')
      security_hole(0);
    else if (version == '12.1(26)E4')
      security_hole(0);
    else if (version == '12.1(26)E3')
      security_hole(0);
    else if (version == '12.1(26)E2')
      security_hole(0);
    else if (version == '12.1(26)E1')
      security_hole(0);
    else if (version == '12.1(26)E')
      security_hole(0);
    else if (version == '12.1(23)E4')
      security_hole(0);
    else if (version == '12.1(23)E3')
      security_hole(0);
    else if (version == '12.1(23)E2')
      security_hole(0);
    else if (version == '12.1(23)E1')
      security_hole(0);
    else if (version == '12.1(23)E')
      security_hole(0);
    else if (version == '12.1(22)E6')
      security_hole(0);
    else if (version == '12.1(22)E5')
      security_hole(0);
    else if (version == '12.1(22)E4')
      security_hole(0);
    else if (version == '12.1(22)E3')
      security_hole(0);
    else if (version == '12.1(22)E2')
      security_hole(0);
    else if (version == '12.1(22)E1')
      security_hole(0);
    else if (version == '12.1(22)E')
      security_hole(0);
    else if (version == '12.1(20)E6')
      security_hole(0);
    else if (version == '12.1(20)E5')
      security_hole(0);
    else if (version == '12.1(20)E4')
      security_hole(0);
    else if (version == '12.1(20)E3')
      security_hole(0);
    else if (version == '12.1(20)E2')
      security_hole(0);
    else if (version == '12.1(20)E1')
      security_hole(0);
    else if (version == '12.1(20)E')
      security_hole(0);
    else if (version == '12.1(19)E7')
      security_hole(0);
    else if (version == '12.1(19)E6')
      security_hole(0);
    else if (version == '12.1(19)E4')
      security_hole(0);
    else if (version == '12.1(19)E3')
      security_hole(0);
    else if (version == '12.1(19)E2')
      security_hole(0);
    else if (version == '12.1(19)E1')
      security_hole(0);
    else if (version == '12.1(19)E')
      security_hole(0);
    else if (version == '12.1(14)E7')
      security_hole(0);
    else if (version == '12.1(14)E6')
      security_hole(0);
    else if (version == '12.1(14)E5')
      security_hole(0);
    else if (version == '12.1(14)E4')
      security_hole(0);
    else if (version == '12.1(14)E3')
      security_hole(0);
    else if (version == '12.1(14)E2')
      security_hole(0);
    else if (version == '12.1(14)E10')
      security_hole(0);
    else if (version == '12.1(14)E1')
      security_hole(0);
    else if (version == '12.1(14)E')
      security_hole(0);
    else if (version == '12.1(13)E9')
      security_hole(0);
    else if (version == '12.1(13)E8')
      security_hole(0);
    else if (version == '12.1(13)E7')
      security_hole(0);
    else if (version == '12.1(13)E6')
      security_hole(0);
    else if (version == '12.1(13)E5')
      security_hole(0);
    else if (version == '12.1(13)E4')
      security_hole(0);
    else if (version == '12.1(13)E3')
      security_hole(0);
    else if (version == '12.1(13)E2')
      security_hole(0);
    else if (version == '12.1(13)E17')
      security_hole(0);
    else if (version == '12.1(13)E16')
      security_hole(0);
    else if (version == '12.1(13)E15')
      security_hole(0);
    else if (version == '12.1(13)E14')
      security_hole(0);
    else if (version == '12.1(13)E13')
      security_hole(0);
    else if (version == '12.1(13)E12')
      security_hole(0);
    else if (version == '12.1(13)E11')
      security_hole(0);
    else if (version == '12.1(13)E10')
      security_hole(0);
    else if (version == '12.1(13)E1')
      security_hole(0);
    else if (version == '12.1(13)E')
      security_hole(0);
    else if (version == '12.1(12c)E6')
      security_hole(0);
    else if (version == '12.1(12c)E5')
      security_hole(0);
    else if (version == '12.1(12c)E4')
      security_hole(0);
    else if (version == '12.1(12c)E3')
      security_hole(0);
    else if (version == '12.1(12c)E2')
      security_hole(0);
    else if (version == '12.1(12c)E1')
      security_hole(0);
    else if (version == '12.1(12c)E')
      security_hole(0);
    else if (version == '12.1(11b)E7')
      security_hole(0);
    else if (version == '12.1(11b)E5')
      security_hole(0);
    else if (version == '12.1(11b)E4')
      security_hole(0);
    else if (version == '12.1(11b)E3')
      security_hole(0);
    else if (version == '12.1(11b)E2')
      security_hole(0);
    else if (version == '12.1(11b)E14')
      security_hole(0);
    else if (version == '12.1(11b)E12')
      security_hole(0);
    else if (version == '12.1(11b)E11')
      security_hole(0);
    else if (version == '12.1(11b)E10')
      security_hole(0);
    else if (version == '12.1(11b)E1')
      security_hole(0);
    else if (version == '12.1(11b)E0a')
      security_hole(0);
    else if (version == '12.1(11b)E')
      security_hole(0);
    else if (version == '12.1(10)E8')
      security_hole(0);
    else if (version == '12.1(10)E7')
      security_hole(0);
    else if (version == '12.1(10)E6a')
      security_hole(0);
    else if (version == '12.1(10)E6')
      security_hole(0);
    else if (version == '12.1(10)E5')
      security_hole(0);
    else if (version == '12.1(10)E4')
      security_hole(0);
    else if (version == '12.1(10)E3')
      security_hole(0);
    else if (version == '12.1(10)E2')
      security_hole(0);
    else if (version == '12.1(10)E1')
      security_hole(0);
    else if (version == '12.1(10)E')
      security_hole(0);
    else if (version == '12.1(9)E3')
      security_hole(0);
    else if (version == '12.1(9)E2')
      security_hole(0);
    else if (version == '12.1(9)E1')
      security_hole(0);
    else if (version == '12.1(9)E')
      security_hole(0);
    else if (version == '12.1(8b)E9')
      security_hole(0);
    else if (version == '12.1(8b)E8')
      security_hole(0);
    else if (version == '12.1(8b)E7')
      security_hole(0);
    else if (version == '12.1(8b)E6')
      security_hole(0);
    else if (version == '12.1(8b)E20')
      security_hole(0);
    else if (version == '12.1(8b)E19')
      security_hole(0);
    else if (version == '12.1(8b)E18')
      security_hole(0);
    else if (version == '12.1(8b)E15')
      security_hole(0);
    else if (version == '12.1(8b)E14')
      security_hole(0);
    else if (version == '12.1(8b)E13')
      security_hole(0);
    else if (version == '12.1(8b)E12')
      security_hole(0);
    else if (version == '12.1(8b)E11')
      security_hole(0);
    else if (version == '12.1(8b)E10')
      security_hole(0);
    else if (version == '12.1(8a)E5')
      security_hole(0);
    else if (version == '12.1(8a)E4')
      security_hole(0);
    else if (version == '12.1(8a)E3')
      security_hole(0);
    else if (version == '12.1(8a)E2')
      security_hole(0);
    else if (version == '12.1(8a)E1')
      security_hole(0);
    else if (version == '12.1(8a)E')
      security_hole(0);
    else if (version == '12.1(7a)E6')
      security_hole(0);
    else if (version == '12.1(7a)E5')
      security_hole(0);
    else if (version == '12.1(7a)E4')
      security_hole(0);
    else if (version == '12.1(7a)E3')
      security_hole(0);
    else if (version == '12.1(7a)E2')
      security_hole(0);
    else if (version == '12.1(7a)E1a')
      security_hole(0);
    else if (version == '12.1(7a)E1')
      security_hole(0);
    else if (version == '12.1(7)E0a')
      security_hole(0);
    else if (version == '12.1(7)E')
      security_hole(0);
    else if (version == '12.1(6)E8')
      security_hole(0);
    else if (version == '12.1(6)E6')
      security_hole(0);
    else if (version == '12.1(6)E5')
      security_hole(0);
    else if (version == '12.1(6)E4')
      security_hole(0);
    else if (version == '12.1(6)E3')
      security_hole(0);
    else if (version == '12.1(6)E2')
      security_hole(0);
    else if (version == '12.1(6)E13')
      security_hole(0);
    else if (version == '12.1(6)E1')
      security_hole(0);
    else if (version == '12.1(6)E')
      security_hole(0);
    else if (version == '12.1(5c)E9')
      security_hole(0);
    else if (version == '12.1(5c)E8')
      security_hole(0);
    else if (version == '12.1(5c)E12')
      security_hole(0);
    else if (version == '12.1(5c)E10')
      security_hole(0);
    else if (version == '12.1(5b)E7')
      security_hole(0);
    else if (version == '12.1(5a)E4')
      security_hole(0);
    else if (version == '12.1(5a)E3')
      security_hole(0);
    else if (version == '12.1(5a)E2')
      security_hole(0);
    else if (version == '12.1(5a)E1')
      security_hole(0);
    else if (version == '12.1(5a)E')
      security_hole(0);
    else if (version == '12.1(4)E3')
      security_hole(0);
    else if (version == '12.1(4)E2')
      security_hole(0);
    else if (version == '12.1(4)E1')
      security_hole(0);
    else if (version == '12.1(4)E')
      security_hole(0);
    else if (version == '12.1(3a)E8')
      security_hole(0);
    else if (version == '12.1(3a)E7')
      security_hole(0);
    else if (version == '12.1(3a)E6')
      security_hole(0);
    else if (version == '12.1(3a)E5')
      security_hole(0);
    else if (version == '12.1(3a)E4')
      security_hole(0);
    else if (version == '12.1(3a)E3')
      security_hole(0);
    else if (version == '12.1(3a)E1')
      security_hole(0);
    else if (version == '12.1(3a)E')
      security_hole(0);
    else if (version == '12.1(2)E2')
      security_hole(0);
    else if (version == '12.1(2)E1')
      security_hole(0);
    else if (version == '12.1(2)E')
      security_hole(0);
    else if (version == '12.1(1)E6')
      security_hole(0);
    else if (version == '12.1(1)E5')
      security_hole(0);
    else if (version == '12.1(1)E4')
      security_hole(0);
    else if (version == '12.1(1)E3')
      security_hole(0);
    else if (version == '12.1(1)E2')
      security_hole(0);
    else if (version == '12.1(1)E1')
      security_hole(0);
    else if (version == '12.1(1)E')
      security_hole(0);
    else if (version == '12.1(5)DC3')
      security_hole(0);
    else if (version == '12.1(5)DC2')
      security_hole(0);
    else if (version == '12.1(5)DC1')
      security_hole(0);
    else if (version == '12.1(5)DC')
      security_hole(0);
    else if (version == '12.1(4)DC3')
      security_hole(0);
    else if (version == '12.1(4)DC2')
      security_hole(0);
    else if (version == '12.1(3)DC2')
      security_hole(0);
    else if (version == '12.1(3)DC1')
      security_hole(0);
    else if (version == '12.1(3)DC')
      security_hole(0);
    else if (version == '12.1(1)DC2')
      security_hole(0);
    else if (version == '12.1(1)DC1')
      security_hole(0);
    else if (version == '12.1(1)DC')
      security_hole(0);
    else if (version == '12.1(5)DB2')
      security_hole(0);
    else if (version == '12.1(5)DB1')
      security_hole(0);
    else if (version == '12.1(5)DB')
      security_hole(0);
    else if (version == '12.1(4)DB1')
      security_hole(0);
    else if (version == '12.1(3)DB1')
      security_hole(0);
    else if (version == '12.1(3)DB')
      security_hole(0);
    else if (version == '12.1(1)DB2')
      security_hole(0);
    else if (version == '12.1(1)DB')
      security_hole(0);
    else if (version == '12.1(7)DA3')
      security_hole(0);
    else if (version == '12.1(7)DA2')
      security_hole(0);
    else if (version == '12.1(7)DA1')
      security_hole(0);
    else if (version == '12.1(7)DA')
      security_hole(0);
    else if (version == '12.1(6)DA1')
      security_hole(0);
    else if (version == '12.1(6)DA')
      security_hole(0);
    else if (version == '12.1(5)DA1')
      security_hole(0);
    else if (version == '12.1(5)DA')
      security_hole(0);
    else if (version == '12.1(4)DA')
      security_hole(0);
    else if (version == '12.1(3)DA')
      security_hole(0);
    else if (version == '12.1(2)DA')
      security_hole(0);
    else if (version == '12.1(1)DA1')
      security_hole(0);
    else if (version == '12.1(1)DA')
      security_hole(0);
    else if (version == '12.1(7)CX1')
      security_hole(0);
    else if (version == '12.1(7)CX')
      security_hole(0);
    else if (version == '12.1(4)CX')
      security_hole(0);
    else if (version == '12.1(14)AZ')
      security_hole(0);
    else if (version == '12.1(22)AY1')
      security_hole(0);
    else if (version == '12.1(13)AY')
      security_hole(0);
    else if (version == '12.1(14)AX4')
      security_hole(0);
    else if (version == '12.1(14)AX3')
      security_hole(0);
    else if (version == '12.1(14)AX2')
      security_hole(0);
    else if (version == '12.1(14)AX1')
      security_hole(0);
    else if (version == '12.1(14)AX')
      security_hole(0);
    else if (version == '12.1(11)AX')
      security_hole(0);
    else if (version == '12.1(10)AA')
      security_hole(0);
    else if (version == '12.1(8)AA1')
      security_hole(0);
    else if (version == '12.1(8)AA')
      security_hole(0);
    else if (version == '12.1(7)AA')
      security_hole(0);
    else if (version == '12.1(6)AA')
      security_hole(0);
    else if (version == '12.1(5)AA')
      security_hole(0);
    else if (version == '12.1(4)AA')
      security_hole(0);
    else if (version == '12.1(3)AA')
      security_hole(0);
    else if (version == '12.1(2a)AA')
      security_hole(0);
    else if (version == '12.1(1)AA1')
      security_hole(0);
    else if (version == '12.1(1)AA')
      security_hole(0);
    else if (version == '12.1(27b)')
      security_hole(0);
    else if (version == '12.1(27a)')
      security_hole(0);
    else if (version == '12.1(27)')
      security_hole(0);
    else if (version == '12.1(26)')
      security_hole(0);
    else if (version == '12.1(25)')
      security_hole(0);
    else if (version == '12.1(24)')
      security_hole(0);
    else if (version == '12.1(22c)')
      security_hole(0);
    else if (version == '12.1(22b)')
      security_hole(0);
    else if (version == '12.1(22a)')
      security_hole(0);
    else if (version == '12.1(22)')
      security_hole(0);
    else if (version == '12.1(21)')
      security_hole(0);
    else if (version == '12.1(20a)')
      security_hole(0);
    else if (version == '12.1(20)')
      security_hole(0);
    else if (version == '12.1(19)')
      security_hole(0);
    else if (version == '12.1(18)')
      security_hole(0);
    else if (version == '12.1(17a)')
      security_hole(0);
    else if (version == '12.1(17)')
      security_hole(0);
    else if (version == '12.1(16)')
      security_hole(0);
    else if (version == '12.1(15)')
      security_hole(0);
    else if (version == '12.1(14)')
      security_hole(0);
    else if (version == '12.1(13a)')
      security_hole(0);
    else if (version == '12.1(13)')
      security_hole(0);
    else if (version == '12.1(12c)')
      security_hole(0);
    else if (version == '12.1(12b)')
      security_hole(0);
    else if (version == '12.1(12a)')
      security_hole(0);
    else if (version == '12.1(12)')
      security_hole(0);
    else if (version == '12.1(11b)')
      security_hole(0);
    else if (version == '12.1(11a)')
      security_hole(0);
    else if (version == '12.1(11)')
      security_hole(0);
    else if (version == '12.1(10a)')
      security_hole(0);
    else if (version == '12.1(10)')
      security_hole(0);
    else if (version == '12.1(9a)')
      security_hole(0);
    else if (version == '12.1(9)')
      security_hole(0);
    else if (version == '12.1(8b)')
      security_hole(0);
    else if (version == '12.1(8a)')
      security_hole(0);
    else if (version == '12.1(8)')
      security_hole(0);
    else if (version == '12.1(7c)')
      security_hole(0);
    else if (version == '12.1(7b)')
      security_hole(0);
    else if (version == '12.1(7a)')
      security_hole(0);
    else if (version == '12.1(7)')
      security_hole(0);
    else if (version == '12.1(6b)')
      security_hole(0);
    else if (version == '12.1(6a)')
      security_hole(0);
    else if (version == '12.1(6)')
      security_hole(0);
    else if (version == '12.1(5e)')
      security_hole(0);
    else if (version == '12.1(5d)')
      security_hole(0);
    else if (version == '12.1(5c)')
      security_hole(0);
    else if (version == '12.1(5b)')
      security_hole(0);
    else if (version == '12.1(5a)')
      security_hole(0);
    else if (version == '12.1(5)')
      security_hole(0);
    else if (version == '12.1(4c)')
      security_hole(0);
    else if (version == '12.1(4b)')
      security_hole(0);
    else if (version == '12.1(4a)')
      security_hole(0);
    else if (version == '12.1(3b)')
      security_hole(0);
    else if (version == '12.1(3)')
      security_hole(0);
    else if (version == '12.1(2b)')
      security_hole(0);
    else if (version == '12.1(2a)')
      security_hole(0);
    else if (version == '12.1(2)')
      security_hole(0);
    else if (version == '12.1(1c)')
      security_hole(0);
    else if (version == '12.1(1b)')
      security_hole(0);
    else if (version == '12.1(1a)')
      security_hole(0);
    else if (version == '12.1(1)')
      security_hole(0);
    else if (version == '12.0(7)XV')
      security_hole(0);
    else if (version == '12.0(5)XT1')
      security_hole(0);
    else if (version == '12.0(5)XS2')
      security_hole(0);
    else if (version == '12.0(5)XS1')
      security_hole(0);
    else if (version == '12.0(7)XR4')
      security_hole(0);
    else if (version == '12.0(7)XR3')
      security_hole(0);
    else if (version == '12.0(7)XR2')
      security_hole(0);
    else if (version == '12.0(7)XR1')
      security_hole(0);
    else if (version == '12.0(5)XQ1')
      security_hole(0);
    else if (version == '12.0(5)XQ')
      security_hole(0);
    else if (version == '12.0(5)XN')
      security_hole(0);
    else if (version == '12.0(4)XM1')
      security_hole(0);
    else if (version == '12.0(4)XM')
      security_hole(0);
    else if (version == '12.0(4)XL1')
      security_hole(0);
    else if (version == '12.0(4)XL')
      security_hole(0);
    else if (version == '12.0(7)XK3')
      security_hole(0);
    else if (version == '12.0(7)XK2')
      security_hole(0);
    else if (version == '12.0(7)XK1')
      security_hole(0);
    else if (version == '12.0(7)XK')
      security_hole(0);
    else if (version == '12.0(5)XK2')
      security_hole(0);
    else if (version == '12.0(5)XK1')
      security_hole(0);
    else if (version == '12.0(5)XK')
      security_hole(0);
    else if (version == '12.0(4)XJ6')
      security_hole(0);
    else if (version == '12.0(4)XJ5')
      security_hole(0);
    else if (version == '12.0(4)XJ4')
      security_hole(0);
    else if (version == '12.0(4)XJ3')
      security_hole(0);
    else if (version == '12.0(4)XJ2')
      security_hole(0);
    else if (version == '12.0(4)XJ1')
      security_hole(0);
    else if (version == '12.0(4)XJ')
      security_hole(0);
    else if (version == '12.0(4)XI1')
      security_hole(0);
    else if (version == '12.0(4)XI')
      security_hole(0);
    else if (version == '12.0(4)XH4')
      security_hole(0);
    else if (version == '12.0(4)XH3')
      security_hole(0);
    else if (version == '12.0(4)XH1')
      security_hole(0);
    else if (version == '12.0(4)XH')
      security_hole(0);
    else if (version == '12.0(2)XH')
      security_hole(0);
    else if (version == '12.0(3)XG')
      security_hole(0);
    else if (version == '12.0(7)XE2')
      security_hole(0);
    else if (version == '12.0(7)XE1')
      security_hole(0);
    else if (version == '12.0(5)XE8')
      security_hole(0);
    else if (version == '12.0(5)XE7')
      security_hole(0);
    else if (version == '12.0(5)XE6')
      security_hole(0);
    else if (version == '12.0(5)XE5')
      security_hole(0);
    else if (version == '12.0(5)XE4')
      security_hole(0);
    else if (version == '12.0(5)XE3')
      security_hole(0);
    else if (version == '12.0(5)XE2')
      security_hole(0);
    else if (version == '12.0(5)XE1')
      security_hole(0);
    else if (version == '12.0(5)XE')
      security_hole(0);
    else if (version == '12.0(4)XE2')
      security_hole(0);
    else if (version == '12.0(4)XE1')
      security_hole(0);
    else if (version == '12.0(4)XE')
      security_hole(0);
    else if (version == '12.0(3)XE2')
      security_hole(0);
    else if (version == '12.0(3)XE1')
      security_hole(0);
    else if (version == '12.0(3)XE')
      security_hole(0);
    else if (version == '12.0(2)XE4')
      security_hole(0);
    else if (version == '12.0(2)XE3')
      security_hole(0);
    else if (version == '12.0(2)XE2')
      security_hole(0);
    else if (version == '12.0(2)XE1')
      security_hole(0);
    else if (version == '12.0(2)XE')
      security_hole(0);
    else if (version == '12.0(1)XE')
      security_hole(0);
    else if (version == '12.0(2)XD1')
      security_hole(0);
    else if (version == '12.0(2)XC2')
      security_hole(0);
    else if (version == '12.0(2)XC1')
      security_hole(0);
    else if (version == '12.0(2)XC')
      security_hole(0);
    else if (version == '12.0(1)XB1')
      security_hole(0);
    else if (version == '12.0(1)XB')
      security_hole(0);
    else if (version == '12.0(1)XA3')
      security_hole(0);
    else if (version == '12.0(1)XA')
      security_hole(0);
    else if (version == '12.0(5)WC9a')
      security_hole(0);
    else if (version == '12.0(5)WC9')
      security_hole(0);
    else if (version == '12.0(5)WC8')
      security_hole(0);
    else if (version == '12.0(5)WC7')
      security_hole(0);
    else if (version == '12.0(5)WC6')
      security_hole(0);
    else if (version == '12.0(5)WC5a')
      security_hole(0);
    else if (version == '12.0(5)WC5')
      security_hole(0);
    else if (version == '12.0(5)WC4a')
      security_hole(0);
    else if (version == '12.0(5)WC4')
      security_hole(0);
    else if (version == '12.0(5)WC3a')
      security_hole(0);
    else if (version == '12.0(5)WC17')
      security_hole(0);
    else if (version == '12.0(5)WC16')
      security_hole(0);
    else if (version == '12.0(5)WC15')
      security_hole(0);
    else if (version == '12.0(5)WC14')
      security_hole(0);
    else if (version == '12.0(5)WC13')
      security_hole(0);
    else if (version == '12.0(5)WC12')
      security_hole(0);
    else if (version == '12.0(5)WC11')
      security_hole(0);
    else if (version == '12.0(5)WC10')
      security_hole(0);
    else if (version == '12.0(7)T3')
      security_hole(0);
    else if (version == '12.0(7)T2')
      security_hole(0);
    else if (version == '12.0(7)T')
      security_hole(0);
    else if (version == '12.0(5)T2')
      security_hole(0);
    else if (version == '12.0(5)T1')
      security_hole(0);
    else if (version == '12.0(5)T')
      security_hole(0);
    else if (version == '12.0(4)T1')
      security_hole(0);
    else if (version == '12.0(4)T')
      security_hole(0);
    else if (version == '12.0(3)T3')
      security_hole(0);
    else if (version == '12.0(3)T2')
      security_hole(0);
    else if (version == '12.0(3)T1')
      security_hole(0);
    else if (version == '12.0(3)T')
      security_hole(0);
    else if (version == '12.0(2a)T1')
      security_hole(0);
    else if (version == '12.0(2)T1')
      security_hole(0);
    else if (version == '12.0(2)T')
      security_hole(0);
    else if (version == '12.0(1)T')
      security_hole(0);
    else if (version == '12.0(30)SZ9')
      security_hole(0);
    else if (version == '12.0(30)SZ8')
      security_hole(0);
    else if (version == '12.0(30)SZ6')
      security_hole(0);
    else if (version == '12.0(30)SZ5')
      security_hole(0);
    else if (version == '12.0(30)SZ4')
      security_hole(0);
    else if (version == '12.0(23)SZ3')
      security_hole(0);
    else if (version == '12.0(21)SZ')
      security_hole(0);
    else if (version == '12.0(32)SY7')
      security_hole(0);
    else if (version == '12.0(32)SY6')
      security_hole(0);
    else if (version == '12.0(32)SY5')
      security_hole(0);
    else if (version == '12.0(32)SY4')
      security_hole(0);
    else if (version == '12.0(32)SY3')
      security_hole(0);
    else if (version == '12.0(32)SY2')
      security_hole(0);
    else if (version == '12.0(32)SY1')
      security_hole(0);
    else if (version == '12.0(32)SY')
      security_hole(0);
    else if (version == '12.0(25)SX9')
      security_hole(0);
    else if (version == '12.0(25)SX8')
      security_hole(0);
    else if (version == '12.0(25)SX7')
      security_hole(0);
    else if (version == '12.0(25)SX6e')
      security_hole(0);
    else if (version == '12.0(25)SX6')
      security_hole(0);
    else if (version == '12.0(25)SX5')
      security_hole(0);
    else if (version == '12.0(25)SX4')
      security_hole(0);
    else if (version == '12.0(25)SX3')
      security_hole(0);
    else if (version == '12.0(25)SX2')
      security_hole(0);
    else if (version == '12.0(25)SX10')
      security_hole(0);
    else if (version == '12.0(25)SX1')
      security_hole(0);
    else if (version == '12.0(25)SX')
      security_hole(0);
    else if (version == '12.0(23)SX5')
      security_hole(0);
    else if (version == '12.0(23)SX4')
      security_hole(0);
    else if (version == '12.0(23)SX3')
      security_hole(0);
    else if (version == '12.0(23)SX2')
      security_hole(0);
    else if (version == '12.0(23)SX1')
      security_hole(0);
    else if (version == '12.0(23)SX')
      security_hole(0);
    else if (version == '12.0(21)SX1')
      security_hole(0);
    else if (version == '12.0(21)SX')
      security_hole(0);
    else if (version == '12.0(10)SX')
      security_hole(0);
    else if (version == '12.0(28)SW1')
      security_hole(0);
    else if (version == '12.0(21)ST7')
      security_hole(0);
    else if (version == '12.0(21)ST6a')
      security_hole(0);
    else if (version == '12.0(21)ST6')
      security_hole(0);
    else if (version == '12.0(21)ST5')
      security_hole(0);
    else if (version == '12.0(21)ST4')
      security_hole(0);
    else if (version == '12.0(21)ST3a')
      security_hole(0);
    else if (version == '12.0(21)ST3')
      security_hole(0);
    else if (version == '12.0(21)ST2b')
      security_hole(0);
    else if (version == '12.0(21)ST2a')
      security_hole(0);
    else if (version == '12.0(21)ST2')
      security_hole(0);
    else if (version == '12.0(21)ST1')
      security_hole(0);
    else if (version == '12.0(21)ST')
      security_hole(0);
    else if (version == '12.0(20)ST6')
      security_hole(0);
    else if (version == '12.0(20)ST5')
      security_hole(0);
    else if (version == '12.0(20)ST4')
      security_hole(0);
    else if (version == '12.0(20)ST3')
      security_hole(0);
    else if (version == '12.0(20)ST2')
      security_hole(0);
    else if (version == '12.0(20)ST1')
      security_hole(0);
    else if (version == '12.0(20)ST')
      security_hole(0);
    else if (version == '12.0(19)ST6')
      security_hole(0);
    else if (version == '12.0(19)ST5')
      security_hole(0);
    else if (version == '12.0(19)ST4')
      security_hole(0);
    else if (version == '12.0(19)ST3')
      security_hole(0);
    else if (version == '12.0(19)ST2')
      security_hole(0);
    else if (version == '12.0(19)ST1')
      security_hole(0);
    else if (version == '12.0(19)ST')
      security_hole(0);
    else if (version == '12.0(18)ST1')
      security_hole(0);
    else if (version == '12.0(18)ST')
      security_hole(0);
    else if (version == '12.0(17)ST8')
      security_hole(0);
    else if (version == '12.0(17)ST7')
      security_hole(0);
    else if (version == '12.0(17)ST6')
      security_hole(0);
    else if (version == '12.0(17)ST5')
      security_hole(0);
    else if (version == '12.0(17)ST4')
      security_hole(0);
    else if (version == '12.0(17)ST3')
      security_hole(0);
    else if (version == '12.0(17)ST2')
      security_hole(0);
    else if (version == '12.0(17)ST1')
      security_hole(0);
    else if (version == '12.0(17)ST')
      security_hole(0);
    else if (version == '12.0(16)ST1')
      security_hole(0);
    else if (version == '12.0(16)ST')
      security_hole(0);
    else if (version == '12.0(14)ST3')
      security_hole(0);
    else if (version == '12.0(14)ST2')
      security_hole(0);
    else if (version == '12.0(14)ST1')
      security_hole(0);
    else if (version == '12.0(14)ST')
      security_hole(0);
    else if (version == '12.0(11)ST4')
      security_hole(0);
    else if (version == '12.0(11)ST3')
      security_hole(0);
    else if (version == '12.0(11)ST2')
      security_hole(0);
    else if (version == '12.0(11)ST1')
      security_hole(0);
    else if (version == '12.0(11)ST')
      security_hole(0);
    else if (version == '12.0(10)ST2')
      security_hole(0);
    else if (version == '12.0(10)ST1')
      security_hole(0);
    else if (version == '12.0(10)ST')
      security_hole(0);
    else if (version == '12.0(9)ST')
      security_hole(0);
    else if (version == '12.0(21)SP4')
      security_hole(0);
    else if (version == '12.0(21)SP3')
      security_hole(0);
    else if (version == '12.0(21)SP2')
      security_hole(0);
    else if (version == '12.0(21)SP1')
      security_hole(0);
    else if (version == '12.0(21)SP')
      security_hole(0);
    else if (version == '12.0(20)SP2')
      security_hole(0);
    else if (version == '12.0(20)SP1')
      security_hole(0);
    else if (version == '12.0(20)SP')
      security_hole(0);
    else if (version == '12.0(19)SP')
      security_hole(0);
    else if (version == '12.0(19)SL4')
      security_hole(0);
    else if (version == '12.0(19)SL3')
      security_hole(0);
    else if (version == '12.0(19)SL2')
      security_hole(0);
    else if (version == '12.0(19)SL1')
      security_hole(0);
    else if (version == '12.0(19)SL')
      security_hole(0);
    else if (version == '12.0(17)SL8')
      security_hole(0);
    else if (version == '12.0(17)SL6')
      security_hole(0);
    else if (version == '12.0(17)SL5')
      security_hole(0);
    else if (version == '12.0(17)SL4')
      security_hole(0);
    else if (version == '12.0(17)SL3')
      security_hole(0);
    else if (version == '12.0(17)SL2')
      security_hole(0);
    else if (version == '12.0(17)SL1')
      security_hole(0);
    else if (version == '12.0(17)SL')
      security_hole(0);
    else if (version == '12.0(15)SL')
      security_hole(0);
    else if (version == '12.0(14)SL1')
      security_hole(0);
    else if (version == '12.0(14)SL')
      security_hole(0);
    else if (version == '12.0(11)SL1')
      security_hole(0);
    else if (version == '12.0(11)SL')
      security_hole(0);
    else if (version == '12.0(10)SL')
      security_hole(0);
    else if (version == '12.0(9)SL2')
      security_hole(0);
    else if (version == '12.0(9)SL1')
      security_hole(0);
    else if (version == '12.0(9)SL')
      security_hole(0);
    else if (version == '12.0(16)SC3')
      security_hole(0);
    else if (version == '12.0(16)SC2')
      security_hole(0);
    else if (version == '12.0(16)SC1')
      security_hole(0);
    else if (version == '12.0(16)SC')
      security_hole(0);
    else if (version == '12.0(15)SC1')
      security_hole(0);
    else if (version == '12.0(15)SC')
      security_hole(0);
    else if (version == '12.0(14)SC')
      security_hole(0);
    else if (version == '12.0(13)SC')
      security_hole(0);
    else if (version == '12.0(12)SC')
      security_hole(0);
    else if (version == '12.0(11)SC')
      security_hole(0);
    else if (version == '12.0(10)SC1')
      security_hole(0);
    else if (version == '12.0(10)SC')
      security_hole(0);
    else if (version == '12.0(9)SC')
      security_hole(0);
    else if (version == '12.0(8)SC1')
      security_hole(0);
    else if (version == '12.0(8)SC')
      security_hole(0);
    else if (version == '12.0(7)SC')
      security_hole(0);
    else if (version == '12.0(6)SC')
      security_hole(0);
    else if (version == '12.0(33)S2')
      security_hole(0);
    else if (version == '12.0(33)S1')
      security_hole(0);
    else if (version == '12.0(33)S')
      security_hole(0);
    else if (version == '12.0(32)S9')
      security_hole(0);
    else if (version == '12.0(32)S8')
      security_hole(0);
    else if (version == '12.0(32)S7')
      security_hole(0);
    else if (version == '12.0(32)S6')
      security_hole(0);
    else if (version == '12.0(32)S5')
      security_hole(0);
    else if (version == '12.0(32)S4')
      security_hole(0);
    else if (version == '12.0(32)S3d')
      security_hole(0);
    else if (version == '12.0(32)S3')
      security_hole(0);
    else if (version == '12.0(32)S2')
      security_hole(0);
    else if (version == '12.0(32)S11')
      security_hole(0);
    else if (version == '12.0(32)S10')
      security_hole(0);
    else if (version == '12.0(32)S1')
      security_hole(0);
    else if (version == '12.0(32)S')
      security_hole(0);
    else if (version == '12.0(31)S6')
      security_hole(0);
    else if (version == '12.0(31)S5')
      security_hole(0);
    else if (version == '12.0(31)S4')
      security_hole(0);
    else if (version == '12.0(31)S3')
      security_hole(0);
    else if (version == '12.0(31)S2')
      security_hole(0);
    else if (version == '12.0(31)S1')
      security_hole(0);
    else if (version == '12.0(31)S')
      security_hole(0);
    else if (version == '12.0(30)S5')
      security_hole(0);
    else if (version == '12.0(30)S4')
      security_hole(0);
    else if (version == '12.0(30)S3')
      security_hole(0);
    else if (version == '12.0(30)S2')
      security_hole(0);
    else if (version == '12.0(30)S1')
      security_hole(0);
    else if (version == '12.0(30)S')
      security_hole(0);
    else if (version == '12.0(29)S1')
      security_hole(0);
    else if (version == '12.0(29)S')
      security_hole(0);
    else if (version == '12.0(28)S6')
      security_hole(0);
    else if (version == '12.0(28)S5')
      security_hole(0);
    else if (version == '12.0(28)S4')
      security_hole(0);
    else if (version == '12.0(28)S3')
      security_hole(0);
    else if (version == '12.0(28)S2')
      security_hole(0);
    else if (version == '12.0(28)S1')
      security_hole(0);
    else if (version == '12.0(28)S')
      security_hole(0);
    else if (version == '12.0(27)S5')
      security_hole(0);
    else if (version == '12.0(27)S4')
      security_hole(0);
    else if (version == '12.0(27)S3')
      security_hole(0);
    else if (version == '12.0(27)S2a')
      security_hole(0);
    else if (version == '12.0(27)S2')
      security_hole(0);
    else if (version == '12.0(27)S1')
      security_hole(0);
    else if (version == '12.0(27)S')
      security_hole(0);
    else if (version == '12.0(26)S6')
      security_hole(0);
    else if (version == '12.0(26)S5')
      security_hole(0);
    else if (version == '12.0(26)S4')
      security_hole(0);
    else if (version == '12.0(26)S3')
      security_hole(0);
    else if (version == '12.0(26)S2')
      security_hole(0);
    else if (version == '12.0(26)S1')
      security_hole(0);
    else if (version == '12.0(26)S')
      security_hole(0);
    else if (version == '12.0(25)S4')
      security_hole(0);
    else if (version == '12.0(25)S3')
      security_hole(0);
    else if (version == '12.0(25)S2')
      security_hole(0);
    else if (version == '12.0(25)S1d')
      security_hole(0);
    else if (version == '12.0(25)S1c')
      security_hole(0);
    else if (version == '12.0(25)S1b')
      security_hole(0);
    else if (version == '12.0(25)S1a')
      security_hole(0);
    else if (version == '12.0(25)S1')
      security_hole(0);
    else if (version == '12.0(25)S')
      security_hole(0);
    else if (version == '12.0(24)S6')
      security_hole(0);
    else if (version == '12.0(24)S5')
      security_hole(0);
    else if (version == '12.0(24)S4a')
      security_hole(0);
    else if (version == '12.0(24)S4')
      security_hole(0);
    else if (version == '12.0(24)S3')
      security_hole(0);
    else if (version == '12.0(24)S2b')
      security_hole(0);
    else if (version == '12.0(24)S2a')
      security_hole(0);
    else if (version == '12.0(24)S2')
      security_hole(0);
    else if (version == '12.0(24)S1')
      security_hole(0);
    else if (version == '12.0(24)S')
      security_hole(0);
    else if (version == '12.0(23)S6a')
      security_hole(0);
    else if (version == '12.0(23)S6')
      security_hole(0);
    else if (version == '12.0(23)S5')
      security_hole(0);
    else if (version == '12.0(23)S4')
      security_hole(0);
    else if (version == '12.0(23)S3c')
      security_hole(0);
    else if (version == '12.0(23)S3b')
      security_hole(0);
    else if (version == '12.0(23)S3a')
      security_hole(0);
    else if (version == '12.0(23)S3')
      security_hole(0);
    else if (version == '12.0(23)S2a')
      security_hole(0);
    else if (version == '12.0(23)S2')
      security_hole(0);
    else if (version == '12.0(23)S1')
      security_hole(0);
    else if (version == '12.0(23)S')
      security_hole(0);
    else if (version == '12.0(22)S6')
      security_hole(0);
    else if (version == '12.0(22)S5a')
      security_hole(0);
    else if (version == '12.0(22)S5')
      security_hole(0);
    else if (version == '12.0(22)S4a')
      security_hole(0);
    else if (version == '12.0(22)S4')
      security_hole(0);
    else if (version == '12.0(22)S3c')
      security_hole(0);
    else if (version == '12.0(22)S3b')
      security_hole(0);
    else if (version == '12.0(22)S3a')
      security_hole(0);
    else if (version == '12.0(22)S3')
      security_hole(0);
    else if (version == '12.0(22)S2e')
      security_hole(0);
    else if (version == '12.0(22)S2d')
      security_hole(0);
    else if (version == '12.0(22)S2c')
      security_hole(0);
    else if (version == '12.0(22)S2b')
      security_hole(0);
    else if (version == '12.0(22)S2a')
      security_hole(0);
    else if (version == '12.0(22)S2')
      security_hole(0);
    else if (version == '12.0(22)S1')
      security_hole(0);
    else if (version == '12.0(22)S')
      security_hole(0);
    else if (version == '12.0(21)S8')
      security_hole(0);
    else if (version == '12.0(21)S7')
      security_hole(0);
    else if (version == '12.0(21)S6a')
      security_hole(0);
    else if (version == '12.0(21)S6')
      security_hole(0);
    else if (version == '12.0(21)S5a')
      security_hole(0);
    else if (version == '12.0(21)S5')
      security_hole(0);
    else if (version == '12.0(21)S4a')
      security_hole(0);
    else if (version == '12.0(21)S4')
      security_hole(0);
    else if (version == '12.0(21)S3')
      security_hole(0);
    else if (version == '12.0(21)S2')
      security_hole(0);
    else if (version == '12.0(21)S1')
      security_hole(0);
    else if (version == '12.0(21)S')
      security_hole(0);
    else if (version == '12.0(19)S4')
      security_hole(0);
    else if (version == '12.0(19)S3')
      security_hole(0);
    else if (version == '12.0(19)S2a')
      security_hole(0);
    else if (version == '12.0(19)S2')
      security_hole(0);
    else if (version == '12.0(19)S1')
      security_hole(0);
    else if (version == '12.0(19)S')
      security_hole(0);
    else if (version == '12.0(18)S7')
      security_hole(0);
    else if (version == '12.0(18)S6')
      security_hole(0);
    else if (version == '12.0(18)S5a')
      security_hole(0);
    else if (version == '12.0(18)S5')
      security_hole(0);
    else if (version == '12.0(18)S4')
      security_hole(0);
    else if (version == '12.0(18)S3')
      security_hole(0);
    else if (version == '12.0(18)S2')
      security_hole(0);
    else if (version == '12.0(18)S1')
      security_hole(0);
    else if (version == '12.0(18)S')
      security_hole(0);
    else if (version == '12.0(17)S7')
      security_hole(0);
    else if (version == '12.0(17)S6')
      security_hole(0);
    else if (version == '12.0(17)S5')
      security_hole(0);
    else if (version == '12.0(17)S4')
      security_hole(0);
    else if (version == '12.0(17)S3')
      security_hole(0);
    else if (version == '12.0(17)S2')
      security_hole(0);
    else if (version == '12.0(17)S1')
      security_hole(0);
    else if (version == '12.0(17)S')
      security_hole(0);
    else if (version == '12.0(16)S9')
      security_hole(0);
    else if (version == '12.0(16)S8a')
      security_hole(0);
    else if (version == '12.0(16)S8')
      security_hole(0);
    else if (version == '12.0(16)S7')
      security_hole(0);
    else if (version == '12.0(16)S6')
      security_hole(0);
    else if (version == '12.0(16)S5')
      security_hole(0);
    else if (version == '12.0(16)S4')
      security_hole(0);
    else if (version == '12.0(16)S3')
      security_hole(0);
    else if (version == '12.0(16)S2')
      security_hole(0);
    else if (version == '12.0(16)S10')
      security_hole(0);
    else if (version == '12.0(16)S1')
      security_hole(0);
    else if (version == '12.0(16)S')
      security_hole(0);
    else if (version == '12.0(15)S7')
      security_hole(0);
    else if (version == '12.0(15)S6')
      security_hole(0);
    else if (version == '12.0(15)S5')
      security_hole(0);
    else if (version == '12.0(15)S4')
      security_hole(0);
    else if (version == '12.0(15)S3')
      security_hole(0);
    else if (version == '12.0(15)S2')
      security_hole(0);
    else if (version == '12.0(15)S1')
      security_hole(0);
    else if (version == '12.0(15)S')
      security_hole(0);
    else if (version == '12.0(14)S8')
      security_hole(0);
    else if (version == '12.0(14)S7')
      security_hole(0);
    else if (version == '12.0(14)S6')
      security_hole(0);
    else if (version == '12.0(14)S5')
      security_hole(0);
    else if (version == '12.0(14)S4')
      security_hole(0);
    else if (version == '12.0(14)S3')
      security_hole(0);
    else if (version == '12.0(14)S2')
      security_hole(0);
    else if (version == '12.0(14)S1')
      security_hole(0);
    else if (version == '12.0(14)S')
      security_hole(0);
    else if (version == '12.0(13)S8')
      security_hole(0);
    else if (version == '12.0(13)S6')
      security_hole(0);
    else if (version == '12.0(13)S5')
      security_hole(0);
    else if (version == '12.0(13)S4')
      security_hole(0);
    else if (version == '12.0(13)S3')
      security_hole(0);
    else if (version == '12.0(13)S2')
      security_hole(0);
    else if (version == '12.0(13)S1')
      security_hole(0);
    else if (version == '12.0(13)S')
      security_hole(0);
    else if (version == '12.0(12)S4')
      security_hole(0);
    else if (version == '12.0(12)S3')
      security_hole(0);
    else if (version == '12.0(12)S2')
      security_hole(0);
    else if (version == '12.0(12)S1')
      security_hole(0);
    else if (version == '12.0(12)S')
      security_hole(0);
    else if (version == '12.0(11)S6')
      security_hole(0);
    else if (version == '12.0(11)S5')
      security_hole(0);
    else if (version == '12.0(11)S4')
      security_hole(0);
    else if (version == '12.0(11)S3')
      security_hole(0);
    else if (version == '12.0(11)S2')
      security_hole(0);
    else if (version == '12.0(11)S1')
      security_hole(0);
    else if (version == '12.0(11)S')
      security_hole(0);
    else if (version == '12.0(10)S8')
      security_hole(0);
    else if (version == '12.0(10)S7')
      security_hole(0);
    else if (version == '12.0(10)S5')
      security_hole(0);
    else if (version == '12.0(10)S4')
      security_hole(0);
    else if (version == '12.0(10)S3b')
      security_hole(0);
    else if (version == '12.0(10)S3')
      security_hole(0);
    else if (version == '12.0(10)S2')
      security_hole(0);
    else if (version == '12.0(10)S1')
      security_hole(0);
    else if (version == '12.0(10)S')
      security_hole(0);
    else if (version == '12.0(9)S8')
      security_hole(0);
    else if (version == '12.0(9)S')
      security_hole(0);
    else if (version == '12.0(8)S1')
      security_hole(0);
    else if (version == '12.0(8)S')
      security_hole(0);
    else if (version == '12.0(7)S1')
      security_hole(0);
    else if (version == '12.0(7)S')
      security_hole(0);
    else if (version == '12.0(6)S2')
      security_hole(0);
    else if (version == '12.0(6)S1')
      security_hole(0);
    else if (version == '12.0(6)S')
      security_hole(0);
    else if (version == '12.0(5)S')
      security_hole(0);
    else if (version == '12.0(4)S')
      security_hole(0);
    else if (version == '12.0(3)S')
      security_hole(0);
    else if (version == '12.0(2)S')
      security_hole(0);
    else if (version == '12.0(7)DC1')
      security_hole(0);
    else if (version == '12.0(7)DC')
      security_hole(0);
    else if (version == '12.0(7)DB2')
      security_hole(0);
    else if (version == '12.0(7)DB1')
      security_hole(0);
    else if (version == '12.0(7)DB')
      security_hole(0);
    else if (version == '12.0(3)DB')
      security_hole(0);
    else if (version == '12.0(2)DB')
      security_hole(0);
    else if (version == '12.0(8)DA')
      security_hole(0);
    else if (version == '12.0(28d)')
      security_hole(0);
    else if (version == '12.0(28c)')
      security_hole(0);
    else if (version == '12.0(28b)')
      security_hole(0);
    else if (version == '12.0(28a)')
      security_hole(0);
    else if (version == '12.0(28)')
      security_hole(0);
    else if (version == '12.0(27)')
      security_hole(0);
    else if (version == '12.0(26)')
      security_hole(0);
    else if (version == '12.0(25)')
      security_hole(0);
    else if (version == '12.0(24)')
      security_hole(0);
    else if (version == '12.0(23)')
      security_hole(0);
    else if (version == '12.0(22)')
      security_hole(0);
    else if (version == '12.0(21a)')
      security_hole(0);
    else if (version == '12.0(21)')
      security_hole(0);
    else if (version == '12.0(20a)')
      security_hole(0);
    else if (version == '12.0(20)')
      security_hole(0);
    else if (version == '12.0(19b)')
      security_hole(0);
    else if (version == '12.0(19a)')
      security_hole(0);
    else if (version == '12.0(19)')
      security_hole(0);
    else if (version == '12.0(18b)')
      security_hole(0);
    else if (version == '12.0(18a)')
      security_hole(0);
    else if (version == '12.0(18)')
      security_hole(0);
    else if (version == '12.0(17a)')
      security_hole(0);
    else if (version == '12.0(17)')
      security_hole(0);
    else if (version == '12.0(16a)')
      security_hole(0);
    else if (version == '12.0(16)')
      security_hole(0);
    else if (version == '12.0(15b)')
      security_hole(0);
    else if (version == '12.0(15a)')
      security_hole(0);
    else if (version == '12.0(15)')
      security_hole(0);
    else if (version == '12.0(14a)')
      security_hole(0);
    else if (version == '12.0(14)')
      security_hole(0);
    else if (version == '12.0(13a)')
      security_hole(0);
    else if (version == '12.0(13)')
      security_hole(0);
    else if (version == '12.0(12a)')
      security_hole(0);
    else if (version == '12.0(12)')
      security_hole(0);
    else if (version == '12.0(11a)')
      security_hole(0);
    else if (version == '12.0(11)')
      security_hole(0);
    else if (version == '12.0(10a)')
      security_hole(0);
    else if (version == '12.0(10)')
      security_hole(0);
    else if (version == '12.0(9a)')
      security_hole(0);
    else if (version == '12.0(9)')
      security_hole(0);
    else if (version == '12.0(8a)')
      security_hole(0);
    else if (version == '12.0(8)')
      security_hole(0);
    else if (version == '12.0(7a)')
      security_hole(0);
    else if (version == '12.0(7)')
      security_hole(0);
    else if (version == '12.0(6b)')
      security_hole(0);
    else if (version == '12.0(6a)')
      security_hole(0);
    else if (version == '12.0(6)')
      security_hole(0);
    else if (version == '12.0(5a)')
      security_hole(0);
    else if (version == '12.0(5)')
      security_hole(0);
    else if (version == '12.0(4b)')
      security_hole(0);
    else if (version == '12.0(4a)')
      security_hole(0);
    else if (version == '12.0(4)')
      security_hole(0);
    else if (version == '12.0(3d)')
      security_hole(0);
    else if (version == '12.0(3c)')
      security_hole(0);
    else if (version == '12.0(3b)')
      security_hole(0);
    else if (version == '12.0(3)')
      security_hole(0);
    else if (version == '12.0(2b)')
      security_hole(0);
    else if (version == '12.0(2a)')
      security_hole(0);
    else if (version == '12.0(2)')
      security_hole(0);
    else if (version == '12.0(1a)')
      security_hole(0);
    else if (version == '12.0(1)')
      security_hole(0);
    else
      exit(0, 'The host is not affected.');
    
  • NASL familyF5 Networks Local Security Checks
    NASL idF5_BIGIP_SOL10509.NASL
    descriptionSockstress DoS tool CVE-2008-4609. The TCP implementation in (1) Linux, (2) platforms based on BSD Unix, (3) Microsoft Windows, (4) Cisco products, and probably other operating systems allows remote attackers to cause a denial of service (connection queue exhaustion) via multiple vectors that manipulate information in the TCP state table, as demonstrated by sockstress.
    last seen2020-06-01
    modified2020-06-02
    plugin id78121
    published2014-10-10
    reporterThis script is Copyright (C) 2014-2019 and is owned by Tenable, Inc. or an Affiliate thereof.
    sourcehttps://www.tenable.com/plugins/nessus/78121
    titleF5 Networks BIG-IP : Sockstress DoS tool vulnerability (SOL10509)
    code
    #%NASL_MIN_LEVEL 80502
    #
    # (C) Tenable Network Security, Inc.
    #
    # The descriptive text and package checks in this plugin were
    # extracted from F5 Networks BIG-IP Solution SOL10509.
    #
    # The text description of this plugin is (C) F5 Networks.
    #
    
    include("compat.inc");
    
    if (description)
    {
      script_id(78121);
      script_version("1.11");
      script_cvs_date("Date: 2019/10/25 13:36:06");
    
      script_cve_id("CVE-2008-4609");
      script_bugtraq_id(31545);
    
      script_name(english:"F5 Networks BIG-IP : Sockstress DoS tool vulnerability (SOL10509)");
      script_summary(english:"Checks the BIG-IP version.");
    
      script_set_attribute(
        attribute:"synopsis", 
        value:"The remote device is missing a vendor-supplied security patch."
      );
      script_set_attribute(
        attribute:"description", 
        value:
    "Sockstress DoS tool CVE-2008-4609. The TCP implementation in (1)
    Linux, (2) platforms based on BSD Unix, (3) Microsoft Windows, (4)
    Cisco products, and probably other operating systems allows remote
    attackers to cause a denial of service (connection queue exhaustion)
    via multiple vectors that manipulate information in the TCP state
    table, as demonstrated by sockstress."
      );
      script_set_attribute(
        attribute:"see_also",
        value:"https://support.f5.com/csp/article/K10509"
      );
      # https://www.cert.fi/haavoittuvuudet/2008/tcp-vulnerabilities.html
      script_set_attribute(
        attribute:"see_also",
        value:"https://www.viestintavirasto.fi/en/cybersecurity.html"
      );
      script_set_attribute(
        attribute:"solution", 
        value:
    "Upgrade to one of the non-vulnerable versions listed in the F5
    Solution SOL10509."
      );
      script_set_cvss_base_vector("CVSS2#AV:N/AC:M/Au:N/C:N/I:N/A:C");
      script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
      script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
      script_set_attribute(attribute:"exploit_available", value:"false");
      script_cwe_id(16);
    
      script_set_attribute(attribute:"plugin_type", value:"local");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_application_security_manager");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_global_traffic_manager");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_link_controller");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_local_traffic_manager");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_wan_optimization_manager");
      script_set_attribute(attribute:"cpe", value:"cpe:/a:f5:big-ip_webaccelerator");
      script_set_attribute(attribute:"cpe", value:"cpe:/h:f5:big-ip");
      script_set_attribute(attribute:"cpe", value:"cpe:/h:f5:big-ip_protocol_security_manager");
    
      script_set_attribute(attribute:"patch_publication_date", value:"2009/09/07");
      script_set_attribute(attribute:"generated_plugin", value:"current");
      script_set_attribute(attribute:"plugin_publication_date", value:"2014/10/10");
      script_end_attributes();
    
      script_category(ACT_GATHER_INFO);
      script_copyright(english:"This script is Copyright (C) 2014-2019 and is owned by Tenable, Inc. or an Affiliate thereof.");
      script_family(english:"F5 Networks Local Security Checks");
    
      script_dependencies("f5_bigip_detect.nbin");
      script_require_keys("Host/local_checks_enabled", "Host/BIG-IP/hotfix", "Host/BIG-IP/modules", "Host/BIG-IP/version");
    
      exit(0);
    }
    
    
    include("f5_func.inc");
    
    if ( ! get_kb_item("Host/local_checks_enabled") ) audit(AUDIT_LOCAL_CHECKS_NOT_ENABLED);
    version = get_kb_item("Host/BIG-IP/version");
    if ( ! version ) audit(AUDIT_OS_NOT, "F5 Networks BIG-IP");
    if ( isnull(get_kb_item("Host/BIG-IP/hotfix")) ) audit(AUDIT_KB_MISSING, "Host/BIG-IP/hotfix");
    if ( ! get_kb_item("Host/BIG-IP/modules") ) audit(AUDIT_KB_MISSING, "Host/BIG-IP/modules");
    
    sol = "SOL10509";
    vmatrix = make_array();
    
    # ASM
    vmatrix["ASM"] = make_array();
    vmatrix["ASM"]["affected"  ] = make_list("9.3.0-9.3.1","9.4.0-9.4.8","10.0.0-10.0.1");
    vmatrix["ASM"]["unaffected"] = make_list("10.1","10.2","11");
    
    # GTM
    vmatrix["GTM"] = make_array();
    vmatrix["GTM"]["affected"  ] = make_list("9.3.0-9.3.1","9.4.0-9.4.8","10.0.0-10.0.1");
    vmatrix["GTM"]["unaffected"] = make_list("10.1","10.2","11");
    
    # LC
    vmatrix["LC"] = make_array();
    vmatrix["LC"]["affected"  ] = make_list("9.3.0-9.3.1","9.4.0-9.4.8","10.0.0-10.0.1");
    vmatrix["LC"]["unaffected"] = make_list("10.1","10.2","11");
    
    # LTM
    vmatrix["LTM"] = make_array();
    vmatrix["LTM"]["affected"  ] = make_list("9.3.0-9.3.1","9.4.0-9.4.8","9.6.0-9.6.1","10.0.0-10.0.1");
    vmatrix["LTM"]["unaffected"] = make_list("10.1","10.2","11");
    
    # PSM
    vmatrix["PSM"] = make_array();
    vmatrix["PSM"]["affected"  ] = make_list("9.4.5-9.4.8","10.0.0-10.0.1");
    vmatrix["PSM"]["unaffected"] = make_list("10.1","10.2","11");
    
    # WAM
    vmatrix["WAM"] = make_array();
    vmatrix["WAM"]["affected"  ] = make_list("9.4.0-9.4.8","10.0.0-10.0.1");
    vmatrix["WAM"]["unaffected"] = make_list("10.1","10.2","11");
    
    # WOM
    vmatrix["WOM"] = make_array();
    vmatrix["WOM"]["affected"  ] = make_list("10.0.0-10.0.1");
    vmatrix["WOM"]["unaffected"] = make_list("10.1","10.2","11");
    
    
    if (bigip_is_affected(vmatrix:vmatrix, sol:sol))
    {
      if (report_verbosity > 0) security_hole(port:0, extra:bigip_report_get());
      else security_hole(0);
      exit(0);
    }
    else
    {
      tested = bigip_get_tested_modules();
      audit_extra = "For BIG-IP module(s) " + tested + ",";
      if (tested) audit(AUDIT_INST_VER_NOT_VULN, audit_extra, version);
      else audit(AUDIT_HOST_NOT, "running any of the affected modules");
    }
    
  • NASL familyWindows : Microsoft Bulletins
    NASL idSMB_NT_MS09-048.NASL
    descriptionThe TCP/IP implementation on the remote host has multiple flaws that could allow remote code execution if an attacker sent specially crafted TCP/IP packets over the network to a computer with a listening service : - A denial of service vulnerability exists in TCP/IP processing in Microsoft Windows due to the way that Windows handles an excessive number of established TCP connections. The affect of this vulnerability can be amplified by the requirement to process specially crafted packets with a TCP receive window size set to a very small value or zero. An attacker could exploit the vulnerability by flooding a system with specially crafted packets causing the affected system to stop responding to new requests or automatically restart. (CVE-2008-4609) - A remote code execution vulnerability exists in the Windows TCP/IP stack due to the TCP/IP stack not cleaning up state information correctly. This causes the TCP/IP stack to reference a field as a function pointer when it actually contains other information. An anonymous attacker could exploit the vulnerability by sending specially crafted TCP/IP packets to a computer that has a service listening over the network. An attacker who successfully exploited this vulnerability could take complete control of an affected system. (CVE-2009-1925) - A denial of service vulnerability exists in TCP/IP processing in Microsoft Windows due to an error in the processing of specially crafted packets with a small or zero TCP receive window size. If an application closes a TCP connection with pending data to be sent and an attacker has set a small or zero TCP receive window size, the affected server will not be able to completely close the TCP connection. An attacker could exploit the vulnerability by flooding a system with specially crafted packets causing the affected system to stop responding to new requests. The system would remain non-responsive even after the attacker stops sending malicious packets. (CVE-2009-1926)
    last seen2020-06-01
    modified2020-06-02
    plugin id40891
    published2009-09-08
    reporterThis script is Copyright (C) 2009-2018 Tenable Network Security, Inc.
    sourcehttps://www.tenable.com/plugins/nessus/40891
    titleMS09-048: Vulnerabilities in Windows TCP/IP Could Allow Remote Code Execution (967723)
    code
    #
    # (C) Tenable Network Security, Inc.
    #
    
    
    include("compat.inc");
    
    
    if (description)
    {
      script_id(40891);
      script_version("1.30");
      script_cvs_date("Date: 2018/11/15 20:50:30");
    
      script_cve_id("CVE-2008-4609", "CVE-2009-1925", "CVE-2009-1926");
      script_bugtraq_id(31545, 36265, 36269);
      script_xref(name:"MSFT", value:"MS09-048");
      script_xref(name:"MSKB", value:"967723");
      script_xref(name:"IAVA", value:"2009-A-0077");
    
      script_name(english:"MS09-048: Vulnerabilities in Windows TCP/IP Could Allow Remote Code Execution (967723)");
      script_summary(english:"Checks version of tcpip.sys");
    
      script_set_attribute(attribute:"synopsis", value:
    "Multiple vulnerabilities in the Windows TCP/IP implementation could
    lead to denial of service or remote code execution.");
      script_set_attribute(attribute:"description", value:
    "The TCP/IP implementation on the remote host has multiple flaws that
    could allow remote code execution if an attacker sent specially crafted
    TCP/IP packets over the network to a computer with a listening service :
    
      - A denial of service vulnerability exists in TCP/IP
        processing in Microsoft Windows due to the way that
        Windows handles an excessive number of established TCP
        connections. The affect of this vulnerability can be
        amplified by the requirement to process specially
        crafted packets with a TCP receive window size set to a
        very small value or zero. An attacker could exploit the
        vulnerability by flooding a system with specially
        crafted packets causing the affected system to stop
        responding to new requests or automatically restart.
        (CVE-2008-4609)
    
      - A remote code execution vulnerability exists in the
        Windows TCP/IP stack due to the TCP/IP stack not
        cleaning up state information correctly. This causes the
        TCP/IP stack to reference a field as a function pointer
        when it actually contains other information. An anonymous
        attacker could exploit the vulnerability by sending
        specially crafted TCP/IP packets to a computer that has
        a service listening over the network. An attacker who
        successfully exploited this vulnerability could take
        complete control of an affected system. (CVE-2009-1925)
    
      - A denial of service vulnerability exists in TCP/IP
        processing in Microsoft Windows due to an error in the
        processing of specially crafted packets with a small or
        zero TCP receive window size. If an application closes a
        TCP connection with pending data to be sent and an
        attacker has set a small or zero TCP receive window
        size, the affected server will not be able to
        completely close the TCP connection. An attacker could
        exploit the vulnerability by flooding a system with
        specially crafted packets causing the affected system
        to stop responding to new requests. The system would
        remain non-responsive even after the attacker stops
        sending malicious packets. (CVE-2009-1926)");
      script_set_attribute(attribute:"see_also", value:"https://docs.microsoft.com/en-us/security-updates/SecurityBulletins/2009/ms09-048");
      script_set_attribute(attribute:"solution", value:
    "Microsoft has released a set of patches for Windows 2003, Vista and
    2008.");
      script_set_cvss_base_vector("CVSS2#AV:N/AC:H/Au:N/C:C/I:C/A:C");
      script_set_cvss_temporal_vector("CVSS2#E:F/RL:OF/RC:C");
      script_set_attribute(attribute:"exploitability_ease", value:"Exploits are available");
      script_set_attribute(attribute:"exploit_available", value:"true");
      script_set_attribute(attribute:"exploit_framework_core", value:"true");
      script_cwe_id(16, 94);
    
      script_set_attribute(attribute:"vuln_publication_date", value:"2009/09/08");
      script_set_attribute(attribute:"patch_publication_date", value:"2009/09/08");
      script_set_attribute(attribute:"plugin_publication_date", value:"2009/09/08");
    
      script_set_attribute(attribute:"plugin_type", value:"local");
      script_set_attribute(attribute:"cpe", value:"cpe:/o:microsoft:windows");
      script_set_attribute(attribute:"stig_severity", value:"I");
      script_end_attributes();
    
      script_category(ACT_GATHER_INFO);
      script_family(english:"Windows : Microsoft Bulletins");
    
      script_copyright(english:"This script is Copyright (C) 2009-2018 Tenable Network Security, Inc.");
    
      script_dependencies("smb_hotfixes.nasl", "ms_bulletin_checks_possible.nasl");
      script_require_keys("SMB/MS_Bulletin_Checks/Possible");
      script_require_ports(139, 445, 'Host/patch_management_checks');
    
      exit(0);
    }
    
    
    include("audit.inc");
    include("smb_hotfixes_fcheck.inc");
    include("smb_hotfixes.inc");
    include("smb_func.inc");
    include("misc_func.inc");
    
    get_kb_item_or_exit("SMB/MS_Bulletin_Checks/Possible");
    
    bulletin = 'MS09-048';
    kb = '967723';
    
    kbs = make_list(kb);
    if (get_kb_item("Host/patch_management_checks")) hotfix_check_3rd_party(bulletin:bulletin, kbs:kbs, severity:SECURITY_HOLE);
    
    
    get_kb_item_or_exit("SMB/Registry/Enumerated");
    get_kb_item_or_exit("SMB/WindowsVersion", exit_code:1);
    productname = get_kb_item_or_exit("SMB/ProductName", exit_code:1);
    
    if (hotfix_check_sp_range(win2k:'4,5', xp:'2,3', win2003:'2', vista:'0,2') <= 0) audit(AUDIT_OS_SP_NOT_VULN);
    
    # nb: MS09-048 says that Windows 2000 and XP are affected but will not be patched.
    if ("Windows 2000" >< productname || "Windows XP" >< productname) exit(0, productname+" is affected, but Microsoft is not making an update available for it.");
    
    rootfile = hotfix_get_systemroot();
    if (!rootfile) exit(1, "Failed to get the system root.");
    
    share = hotfix_path2share(path:rootfile);
    if (!is_accessible_share(share:share)) audit(AUDIT_SHARE_FAIL, share);
    
    if (
      # Vista / Windows Server 2008
      hotfix_is_vulnerable(os:"6.0", sp:2,             file:"tcpip.sys", version:"6.0.6002.22200", min_version:"6.0.6002.20000", dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
      hotfix_is_vulnerable(os:"6.0", sp:2,             file:"tcpip.sys", version:"6.0.6002.18091",                               dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
      hotfix_is_vulnerable(os:"6.0", sp:1,             file:"tcpip.sys", version:"6.0.6001.22497", min_version:"6.0.6001.20000", dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
      hotfix_is_vulnerable(os:"6.0", sp:1,             file:"tcpip.sys", version:"6.0.6001.18311",                               dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
      hotfix_is_vulnerable(os:"6.0", sp:0,             file:"tcpip.sys", version:"6.0.6000.21108", min_version:"6.0.6000.20000", dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
      hotfix_is_vulnerable(os:"6.0", sp:0,             file:"tcpip.sys", version:"6.0.6000.16908",                               dir:"\System32\drivers", bulletin:bulletin, kb:kb) ||
    
      # Windows 2003
      hotfix_is_vulnerable(os:"5.2", sp:2, file:"tcpip.sys", version:"5.2.3790.4573", dir:"\System32\drivers", bulletin:bulletin, kb:kb)
    )
    {
      set_kb_item(name:"SMB/Missing/"+bulletin, value:TRUE);
      hotfix_security_hole();
      hotfix_check_fversion_end();
      exit(0);
    }
    else
    {
      hotfix_check_fversion_end();
      audit(AUDIT_HOST_NOT, 'affected');
    }
    
  • NASL familyWindows
    NASL idWIN_SERVER_2008_NTLM_PCI.NASL
    descriptionAccording to the version number obtained by NTLM the remote host has Windows Server 2008 installed. The host may be vulnerable to a number of vulnerabilities including remote unauthenticated code execution.
    last seen2020-06-01
    modified2020-06-02
    plugin id108811
    published2018-04-03
    reporterThis script is Copyright (C) 2018-2019 and is owned by Tenable, Inc. or an Affiliate thereof.
    sourcehttps://www.tenable.com/plugins/nessus/108811
    titleWindows Server 2008 Critical RCE Vulnerabilities (uncredentialed) (PCI/DSS)

Oval

accepted2009-10-19T04:00:15.637-04:00
classvulnerability
contributors
nameDragos Prisaca
organizationGideon Technologies, Inc.
definition_extensions
  • commentMicrosoft Windows 2000 SP4 or later is installed
    ovaloval:org.mitre.oval:def:229
  • commentMicrosoft Windows XP (x86) SP2 is installed
    ovaloval:org.mitre.oval:def:754
  • commentMicrosoft Windows XP (x86) SP3 is installed
    ovaloval:org.mitre.oval:def:5631
  • commentMicrosoft Windows XP x64 Edition SP2 is installed
    ovaloval:org.mitre.oval:def:4193
  • commentMicrosoft Windows Server 2003 SP2 (x86) is installed
    ovaloval:org.mitre.oval:def:1935
  • commentMicrosoft Windows Server 2003 SP2 (x64) is installed
    ovaloval:org.mitre.oval:def:2161
  • commentMicrosoft Windows Server 2003 (ia64) SP2 is installed
    ovaloval:org.mitre.oval:def:1442
  • commentMicrosoft Windows Vista (32-bit) is installed
    ovaloval:org.mitre.oval:def:1282
  • commentMicrosoft Windows Vista x64 Edition is installed
    ovaloval:org.mitre.oval:def:2041
  • commentMicrosoft Windows Vista (32-bit) Service Pack 1 is installed
    ovaloval:org.mitre.oval:def:4873
  • commentMicrosoft Windows Vista x64 Edition Service Pack 1 is installed
    ovaloval:org.mitre.oval:def:5254
  • commentMicrosoft Windows Server 2008 (32-bit) is installed
    ovaloval:org.mitre.oval:def:4870
  • commentMicrosoft Windows Server 2008 (64-bit) is installed
    ovaloval:org.mitre.oval:def:5356
  • commentMicrosoft Windows Server 2008 (ia-64) is installed
    ovaloval:org.mitre.oval:def:5667
  • commentMicrosoft Windows Vista (32-bit) Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6124
  • commentMicrosoft Windows Vista x64 Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:5594
  • commentMicrosoft Windows Server 2008 (32-bit) Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:5653
  • commentMicrosoft Windows Server 2008 x64 Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6216
  • commentMicrosoft Windows Server 2008 Itanium-Based Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6150
  • commentMicrosoft Windows Vista (32-bit) is installed
    ovaloval:org.mitre.oval:def:1282
  • commentMicrosoft Windows Vista x64 Edition is installed
    ovaloval:org.mitre.oval:def:2041
  • commentMicrosoft Windows Vista (32-bit) Service Pack 1 is installed
    ovaloval:org.mitre.oval:def:4873
  • commentMicrosoft Windows Vista x64 Edition Service Pack 1 is installed
    ovaloval:org.mitre.oval:def:5254
  • commentMicrosoft Windows Server 2008 (32-bit) is installed
    ovaloval:org.mitre.oval:def:4870
  • commentMicrosoft Windows Server 2008 (64-bit) is installed
    ovaloval:org.mitre.oval:def:5356
  • commentMicrosoft Windows Server 2008 (ia-64) is installed
    ovaloval:org.mitre.oval:def:5667
  • commentMicrosoft Windows Vista (32-bit) Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6124
  • commentMicrosoft Windows Vista x64 Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:5594
  • commentMicrosoft Windows Server 2008 (32-bit) Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:5653
  • commentMicrosoft Windows Server 2008 x64 Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6216
  • commentMicrosoft Windows Server 2008 Itanium-Based Edition Service Pack 2 is installed
    ovaloval:org.mitre.oval:def:6150
descriptionThe TCP implementation in (1) Linux, (2) platforms based on BSD Unix, (3) Microsoft Windows, (4) Cisco products, and probably other operating systems allows remote attackers to cause a denial of service (connection queue exhaustion) via multiple vectors that manipulate information in the TCP state table, as demonstrated by sockstress.
familywindows
idoval:org.mitre.oval:def:6340
statusaccepted
submitted2009-09-08T13:00:00
titleTCP/IP Zero Window Size Vulnerability
version42

Seebug

bulletinFamilyexploit
descriptionCVE ID:CVE-2008-4609 Microsoft Windows是一款流行的操作系统。 Microsoft Windows TCP/IP堆栈处理存在一个错误,可导致连接一直处于FIN-WAIT-1或FIN-WAIT-2状态,攻击者构建一个TCP接收窗口大小设置为零或极小值的恶意报文,&quot;淹没&quot;受此漏洞影响的系统,可导致系统停止对新请求的响应,造成拒绝服务攻击。 Microsoft Windows 2000 Advanced Server Microsoft Windows 2000 Datacenter Server Microsoft Windows 2000 Professional Microsoft Windows 2000 Server 用户可参考如下安全公告获得补丁信息: http://www.microsoft.com/technet/security/Bulletin/MS09-048.mspx
idSSV:12271
last seen2017-11-19
modified2009-09-11
published2009-09-11
reporterRoot
titleWindows 2000 TCP/IP窗口大小拒绝服务漏洞(MS09-048)

Statements

contributorJoshua Bressers
lastmodified2009-09-08
organizationRed Hat
statementThe attacks reported by Outpost24 AB target the design limitations of the TCP protocol. Due to upstreams decision not to release updates, Red Hat do not plan to release updates to resolve these issues however, the effects of these attacks can be reduced via the mitigation methods as written in http://kbase.redhat.com/faq/docs/DOC-18730.