Crafted IP Option Vulnerability

2010-09-01T00:00:00
ID CISCO-SA-20070124-CRAFTED-IP-OPTIONHTTP.NASL
Type nessus
Reporter This script is (C) 2010-2018 Tenable Network Security, Inc.
Modified 2020-04-02T00:00:00

Description

Cisco routers and switches running Cisco IOS or Cisco IOS XR software may be vulnerable to a remotely exploitable crafted IP option Denial of Service (DoS) attack. Exploitation of the vulnerability may potentially allow for arbitrary code execution. The vulnerability may be exploited after processing an Internet Control Message Protocol (ICMP) packet, Protocol Independent Multicast version 2 (PIMv2) packet, Pragmatic General Multicast (PGM) packet, or URL Rendezvous Directory (URD) packet containing a specific crafted IP option in the packet\

                                        
                                            #
# (C) Tenable Network Security, Inc.
#
# Security advisory is (C) CISCO, Inc.
# See http://www.cisco.com/en/US/products/csa/cisco-sa-20070124-crafted-ip-option.html
#

include("compat.inc");

if (description)
{
 script_id(48996);
 script_version("1.13");
 script_cvs_date("Date: 2018/11/15 20:50:20");

 script_cve_id("CVE-2007-0480");
 script_xref(name:"CISCO-BUG-ID", value:"CSCdz50424");
 script_xref(name:"CISCO-BUG-ID", value:"CSCec71950");
 script_xref(name:"CISCO-BUG-ID", value:"CSCeh52410");
 script_xref(name:"CISCO-SA", value:"cisco-sa-20070124-crafted-ip-option");

 script_name(english:"Crafted IP Option Vulnerability");
 script_summary(english:"Checks IOS version");

 script_set_attribute(attribute:"synopsis", value:
"The remote device is missing a vendor-supplied security patch.");
 script_set_attribute(attribute:"description", value:
'Cisco routers and switches running Cisco IOS or Cisco IOS XR software
may be vulnerable to a remotely exploitable crafted IP option Denial of
Service (DoS) attack. Exploitation of the vulnerability may potentially
allow for arbitrary code execution. The vulnerability may be exploited
after processing an Internet Control Message Protocol (ICMP) packet,
Protocol Independent Multicast version 2 (PIMv2) packet, Pragmatic
General Multicast (PGM) packet, or URL Rendezvous Directory (URD)
packet containing a specific crafted IP option in the packet\'s IP
header. No other IP protocols are affected by this issue.
Cisco has made free software available to address this vulnerability
for affected customers.
');
 # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20070124-crafted-ip-option
 script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?ccd26374");
 script_set_attribute(attribute:"solution", value:
"Apply the relevant patch referenced in Cisco Security Advisory
cisco-sa-20070124-crafted-ip-option.");
 script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:C/I:C/A:C");

 script_set_attribute(attribute:"vuln_publication_date", value:"2007/01/24");
 script_set_attribute(attribute:"patch_publication_date", value:"2007/01/24");
 script_set_attribute(attribute:"plugin_publication_date", value:"2010/09/01");

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

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

 script_dependencie("cisco_ios_version.nasl");
 script_require_keys("Host/Cisco/IOS/Version");
 exit(0);
}

include("audit.inc");
include("global_settings.inc");
include("misc_func.inc");

version = get_kb_item_or_exit("Host/Cisco/IOS/Version");

if (version == '12.3(2)XZ2')
  security_hole(0);
else if (version == '12.3(2)XZ1')
  security_hole(0);
else if (version == '12.3(2)XZ')
  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(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)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)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)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)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)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)TPC11a')
  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(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)JX1')
  security_hole(0);
else if (version == '12.3(7)JX')
  security_hole(0);
else if (version == '12.3(2)JL')
  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(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(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(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(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)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)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)XU1')
  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)XT1')
  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(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)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(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)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)SW3b')
  security_hole(0);
else if (version == '12.2(25)SW')
  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(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(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(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(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)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)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)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)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(20)EX')
  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(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)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)DA1')
  security_hole(0);
else if (version == '12.2(12)DA')
  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(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(29a)')
  security_hole(0);
else if (version == '12.2(29)')
  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(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(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)XY2')
  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)XV3')
  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)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(9)EC')
  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(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)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)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(4)EA1e')
  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)DB2')
  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(5)XS')
  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)XI2')
  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)XA2')
  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)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(23)SZ3')
  security_hole(0);
else if (version == '12.0(21)SZ')
  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(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(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)S2c')
  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
  audit(AUDIT_HOST_NOT, "affected");