CVSS2
Attack Vector
NETWORK
Attack Complexity
LOW
Authentication
NONE
Confidentiality Impact
NONE
Integrity Impact
NONE
Availability Impact
COMPLETE
AV:N/AC:L/Au:N/C:N/I:N/A:C
EPSS
Percentile
93.0%
The Cisco IOS Transmission Control Protocol (TCP) listener in certain versions of Cisco IOS software is vulnerable to a remotely-exploitable memory leak that may lead to a denial of service condition.
This vulnerability only applies to traffic destined to the Cisco IOS device. Traffic transiting the Cisco IOS device will not trigger this vulnerability.
Cisco has made free software available to address this vulnerability for affected customers.
#
# (C) Tenable Network Security, Inc.
#
# Security advisory is (C) CISCO, Inc.
# See http://www.cisco.com/en/US/products/csa/cisco-sa-20070124-crafted-tcp.html
#
include("compat.inc");
if (description)
{
script_id(48997);
script_version("1.13");
script_cvs_date("Date: 2018/11/15 20:50:20");
script_cve_id("CVE-2007-0479");
script_xref(name:"CISCO-BUG-ID", value:"CSCdx23494");
script_xref(name:"CISCO-BUG-ID", value:"CSCee73956");
script_xref(name:"CISCO-BUG-ID", value:"CSCek37177");
script_xref(name:"CISCO-SA", value:"cisco-sa-20070124-crafted-tcp");
script_name(english:"Crafted TCP Packet Can Cause Denial of Service");
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:
'The Cisco IOS Transmission Control Protocol (TCP) listener in certain
versions of Cisco IOS software is vulnerable to a remotely-exploitable
memory leak that may lead to a denial of service condition.
This vulnerability only applies to traffic destined to the Cisco IOS
device. Traffic transiting the Cisco IOS device will not trigger this
vulnerability.
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-tcp
script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?e1512f4a");
script_set_attribute(attribute:"solution", value:
"Apply the relevant patch referenced in Cisco Security Advisory
cisco-sa-20070124-crafted-tcp.");
script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:N/I:N/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.4(4)XD2')
security_hole(0);
else if (version == '12.4(4)XD1')
security_hole(0);
else if (version == '12.4(4)XD')
security_hole(0);
else if (version == '12.4(4)XC2')
security_hole(0);
else if (version == '12.4(4)XC1')
security_hole(0);
else if (version == '12.4(4)XC')
security_hole(0);
else if (version == '12.4(2)XB4')
security_hole(0);
else if (version == '12.4(2)XB3')
security_hole(0);
else if (version == '12.4(2)XB2')
security_hole(0);
else if (version == '12.4(2)XB1')
security_hole(0);
else if (version == '12.4(2)XB')
security_hole(0);
else if (version == '12.4(2)XA2')
security_hole(0);
else if (version == '12.4(2)XA1')
security_hole(0);
else if (version == '12.4(2)XA')
security_hole(0);
else if (version == '12.4(6)T2')
security_hole(0);
else if (version == '12.4(6)T1')
security_hole(0);
else if (version == '12.4(6)T')
security_hole(0);
else if (version == '12.4(4)T3')
security_hole(0);
else if (version == '12.4(4)T2')
security_hole(0);
else if (version == '12.4(4)T1')
security_hole(0);
else if (version == '12.4(4)T')
security_hole(0);
else if (version == '12.4(2)T4')
security_hole(0);
else if (version == '12.4(2)T3')
security_hole(0);
else if (version == '12.4(2)T2')
security_hole(0);
else if (version == '12.4(2)T1')
security_hole(0);
else if (version == '12.4(2)T')
security_hole(0);
else if (version == '12.4(6)MR')
security_hole(0);
else if (version == '12.4(4)MR1')
security_hole(0);
else if (version == '12.4(4)MR')
security_hole(0);
else if (version == '12.4(2)MR1')
security_hole(0);
else if (version == '12.4(2)MR')
security_hole(0);
else if (version == '12.4(7a)')
security_hole(0);
else if (version == '12.4(7)')
security_hole(0);
else if (version == '12.4(5b)')
security_hole(0);
else if (version == '12.4(5a)')
security_hole(0);
else if (version == '12.4(5)')
security_hole(0);
else if (version == '12.4(3d)')
security_hole(0);
else if (version == '12.4(3c)')
security_hole(0);
else if (version == '12.4(3b)')
security_hole(0);
else if (version == '12.4(3a)')
security_hole(0);
else if (version == '12.4(3)')
security_hole(0);
else if (version == '12.4(1c)')
security_hole(0);
else if (version == '12.4(1b)')
security_hole(0);
else if (version == '12.4(1a)')
security_hole(0);
else if (version == '12.4(1)')
security_hole(0);
else if (version == '12.3(8)ZA')
security_hole(0);
else if (version == '12.3(11)YZ')
security_hole(0);
else if (version == '12.3(14)YX1')
security_hole(0);
else if (version == '12.3(14)YX')
security_hole(0);
else if (version == '12.3(14)YU1')
security_hole(0);
else if (version == '12.3(14)YU')
security_hole(0);
else if (version == '12.3(14)YT1')
security_hole(0);
else if (version == '12.3(14)YT')
security_hole(0);
else if (version == '12.3(11)YS1')
security_hole(0);
else if (version == '12.3(11)YS')
security_hole(0);
else if (version == '12.3(14)YQ7')
security_hole(0);
else if (version == '12.3(14)YQ6')
security_hole(0);
else if (version == '12.3(14)YQ5')
security_hole(0);
else if (version == '12.3(14)YQ4')
security_hole(0);
else if (version == '12.3(14)YQ3')
security_hole(0);
else if (version == '12.3(14)YQ2')
security_hole(0);
else if (version == '12.3(14)YQ1')
security_hole(0);
else if (version == '12.3(14)YQ')
security_hole(0);
else if (version == '12.3(14)YM7')
security_hole(0);
else if (version == '12.3(14)YM6')
security_hole(0);
else if (version == '12.3(14)YM5')
security_hole(0);
else if (version == '12.3(14)YM4')
security_hole(0);
else if (version == '12.3(14)YM3')
security_hole(0);
else if (version == '12.3(14)YM2')
security_hole(0);
else if (version == '12.3(11)YK2')
security_hole(0);
else if (version == '12.3(11)YK1')
security_hole(0);
else if (version == '12.3(11)YK')
security_hole(0);
else if (version == '12.3(11)YJ')
security_hole(0);
else if (version == '12.3(8)YI3')
security_hole(0);
else if (version == '12.3(8)YI2')
security_hole(0);
else if (version == '12.3(8)YI1')
security_hole(0);
else if (version == '12.3(8)YH')
security_hole(0);
else if (version == '12.3(8)YG5')
security_hole(0);
else if (version == '12.3(8)YG4')
security_hole(0);
else if (version == '12.3(8)YG3')
security_hole(0);
else if (version == '12.3(8)YG2')
security_hole(0);
else if (version == '12.3(8)YG1')
security_hole(0);
else if (version == '12.3(8)YG')
security_hole(0);
else if (version == '12.3(11)YF4')
security_hole(0);
else if (version == '12.3(11)YF3')
security_hole(0);
else if (version == '12.3(11)YF2')
security_hole(0);
else if (version == '12.3(11)YF1')
security_hole(0);
else if (version == '12.3(11)YF')
security_hole(0);
else if (version == '12.3(8)YD1')
security_hole(0);
else if (version == '12.3(8)YD')
security_hole(0);
else if (version == '12.3(8)YA1')
security_hole(0);
else if (version == '12.3(8)YA')
security_hole(0);
else if (version == '12.3(2)XZ2')
security_hole(0);
else if (version == '12.3(2)XZ1')
security_hole(0);
else if (version == '12.3(2)XZ')
security_hole(0);
else if (version == '12.3(8)XY7')
security_hole(0);
else if (version == '12.3(8)XY6')
security_hole(0);
else if (version == '12.3(8)XY5')
security_hole(0);
else if (version == '12.3(8)XY4')
security_hole(0);
else if (version == '12.3(8)XY3')
security_hole(0);
else if (version == '12.3(8)XY2')
security_hole(0);
else if (version == '12.3(8)XY1')
security_hole(0);
else if (version == '12.3(8)XY')
security_hole(0);
else if (version == '12.3(8)XX1')
security_hole(0);
else if (version == '12.3(8)XX')
security_hole(0);
else if (version == '12.3(8)XW3')
security_hole(0);
else if (version == '12.3(8)XW2')
security_hole(0);
else if (version == '12.3(8)XW1')
security_hole(0);
else if (version == '12.3(8)XW')
security_hole(0);
else if (version == '12.3(8)XU5')
security_hole(0);
else if (version == '12.3(8)XU4')
security_hole(0);
else if (version == '12.3(8)XU3')
security_hole(0);
else if (version == '12.3(8)XU2')
security_hole(0);
else if (version == '12.3(8)XU1')
security_hole(0);
else if (version == '12.3(8)XU')
security_hole(0);
else if (version == '12.3(7)XS2')
security_hole(0);
else if (version == '12.3(7)XS1')
security_hole(0);
else if (version == '12.3(7)XS')
security_hole(0);
else if (version == '12.3(7)XR6')
security_hole(0);
else if (version == '12.3(7)XR5')
security_hole(0);
else if (version == '12.3(7)XR4')
security_hole(0);
else if (version == '12.3(7)XR3')
security_hole(0);
else if (version == '12.3(7)XR2')
security_hole(0);
else if (version == '12.3(7)XR')
security_hole(0);
else if (version == '12.3(4)XQ1')
security_hole(0);
else if (version == '12.3(4)XQ')
security_hole(0);
else if (version == '12.3(11)XL1')
security_hole(0);
else if (version == '12.3(11)XL')
security_hole(0);
else if (version == '12.3(4)XK4')
security_hole(0);
else if (version == '12.3(4)XK3')
security_hole(0);
else if (version == '12.3(4)XK2')
security_hole(0);
else if (version == '12.3(4)XK1')
security_hole(0);
else if (version == '12.3(4)XK')
security_hole(0);
else if (version == '12.3(7)XJ2')
security_hole(0);
else if (version == '12.3(7)XJ1')
security_hole(0);
else if (version == '12.3(7)XJ')
security_hole(0);
else if (version == '12.3(7)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(14)T7')
security_hole(0);
else if (version == '12.3(14)T6')
security_hole(0);
else if (version == '12.3(14)T5')
security_hole(0);
else if (version == '12.3(14)T3')
security_hole(0);
else if (version == '12.3(14)T2')
security_hole(0);
else if (version == '12.3(14)T1')
security_hole(0);
else if (version == '12.3(14)T')
security_hole(0);
else if (version == '12.3(11)T9')
security_hole(0);
else if (version == '12.3(11)T8')
security_hole(0);
else if (version == '12.3(11)T7')
security_hole(0);
else if (version == '12.3(11)T6')
security_hole(0);
else if (version == '12.3(11)T5')
security_hole(0);
else if (version == '12.3(11)T4')
security_hole(0);
else if (version == '12.3(11)T3')
security_hole(0);
else if (version == '12.3(11)T2')
security_hole(0);
else if (version == '12.3(11)T10')
security_hole(0);
else if (version == '12.3(11)T')
security_hole(0);
else if (version == '12.3(8)T9')
security_hole(0);
else if (version == '12.3(8)T8')
security_hole(0);
else if (version == '12.3(8)T7')
security_hole(0);
else if (version == '12.3(8)T6')
security_hole(0);
else if (version == '12.3(8)T5')
security_hole(0);
else if (version == '12.3(8)T4')
security_hole(0);
else if (version == '12.3(8)T3')
security_hole(0);
else if (version == '12.3(8)T11')
security_hole(0);
else if (version == '12.3(8)T10')
security_hole(0);
else if (version == '12.3(8)T1')
security_hole(0);
else if (version == '12.3(8)T')
security_hole(0);
else if (version == '12.3(7)T9')
security_hole(0);
else if (version == '12.3(7)T8')
security_hole(0);
else if (version == '12.3(7)T7')
security_hole(0);
else if (version == '12.3(7)T6')
security_hole(0);
else if (version == '12.3(7)T4')
security_hole(0);
else if (version == '12.3(7)T3')
security_hole(0);
else if (version == '12.3(7)T2')
security_hole(0);
else if (version == '12.3(7)T12')
security_hole(0);
else if (version == '12.3(7)T11')
security_hole(0);
else if (version == '12.3(7)T10')
security_hole(0);
else if (version == '12.3(7)T1')
security_hole(0);
else if (version == '12.3(7)T')
security_hole(0);
else if (version == '12.3(4)T9')
security_hole(0);
else if (version == '12.3(4)T8')
security_hole(0);
else if (version == '12.3(4)T7')
security_hole(0);
else if (version == '12.3(4)T6')
security_hole(0);
else if (version == '12.3(4)T4')
security_hole(0);
else if (version == '12.3(4)T3')
security_hole(0);
else if (version == '12.3(4)T2a')
security_hole(0);
else if (version == '12.3(4)T2')
security_hole(0);
else if (version == '12.3(4)T11')
security_hole(0);
else if (version == '12.3(4)T10')
security_hole(0);
else if (version == '12.3(4)T1')
security_hole(0);
else if (version == '12.3(4)T')
security_hole(0);
else if (version == '12.3(2)T9')
security_hole(0);
else if (version == '12.3(2)T8')
security_hole(0);
else if (version == '12.3(2)T7')
security_hole(0);
else if (version == '12.3(2)T6')
security_hole(0);
else if (version == '12.3(2)T5')
security_hole(0);
else if (version == '12.3(2)T4')
security_hole(0);
else if (version == '12.3(2)T3')
security_hole(0);
else if (version == '12.3(2)T2')
security_hole(0);
else if (version == '12.3(2)T1')
security_hole(0);
else if (version == '12.3(2)T')
security_hole(0);
else if (version == '12.3(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(11)JA2')
security_hole(0);
else if (version == '12.3(11)JA1')
security_hole(0);
else if (version == '12.3(11)JA')
security_hole(0);
else if (version == '12.3(8)JA1')
security_hole(0);
else if (version == '12.3(8)JA')
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(17a)BC1')
security_hole(0);
else if (version == '12.3(17a)BC')
security_hole(0);
else if (version == '12.3(13a)BC5')
security_hole(0);
else if (version == '12.3(13a)BC4')
security_hole(0);
else if (version == '12.3(13a)BC3')
security_hole(0);
else if (version == '12.3(13a)BC2')
security_hole(0);
else if (version == '12.3(13a)BC1')
security_hole(0);
else if (version == '12.3(13a)BC')
security_hole(0);
else if (version == '12.3(9a)BC9')
security_hole(0);
else if (version == '12.3(9a)BC8')
security_hole(0);
else if (version == '12.3(9a)BC7')
security_hole(0);
else if (version == '12.3(9a)BC6')
security_hole(0);
else if (version == '12.3(9a)BC5')
security_hole(0);
else if (version == '12.3(9a)BC4')
security_hole(0);
else if (version == '12.3(9a)BC3')
security_hole(0);
else if (version == '12.3(9a)BC2')
security_hole(0);
else if (version == '12.3(9a)BC1')
security_hole(0);
else if (version == '12.3(9a)BC')
security_hole(0);
else if (version == '12.3(5a)B5')
security_hole(0);
else if (version == '12.3(5a)B4')
security_hole(0);
else if (version == '12.3(5a)B3')
security_hole(0);
else if (version == '12.3(5a)B2')
security_hole(0);
else if (version == '12.3(5a)B1')
security_hole(0);
else if (version == '12.3(5a)B')
security_hole(0);
else if (version == '12.3(3)B1')
security_hole(0);
else if (version == '12.3(3)B')
security_hole(0);
else if (version == '12.3(1a)B')
security_hole(0);
else if (version == '12.3(18)')
security_hole(0);
else if (version == '12.3(17b)')
security_hole(0);
else if (version == '12.3(17a)')
security_hole(0);
else if (version == '12.3(17)')
security_hole(0);
else if (version == '12.3(16a)')
security_hole(0);
else if (version == '12.3(16)')
security_hole(0);
else if (version == '12.3(15b)')
security_hole(0);
else if (version == '12.3(15a)')
security_hole(0);
else if (version == '12.3(15)')
security_hole(0);
else if (version == '12.3(13b)')
security_hole(0);
else if (version == '12.3(13a)')
security_hole(0);
else if (version == '12.3(13)')
security_hole(0);
else if (version == '12.3(12e)')
security_hole(0);
else if (version == '12.3(12d)')
security_hole(0);
else if (version == '12.3(12c)')
security_hole(0);
else if (version == '12.3(12b)')
security_hole(0);
else if (version == '12.3(12a)')
security_hole(0);
else if (version == '12.3(12)')
security_hole(0);
else if (version == '12.3(10e)')
security_hole(0);
else if (version == '12.3(10d)')
security_hole(0);
else if (version == '12.3(10c)')
security_hole(0);
else if (version == '12.3(10b)')
security_hole(0);
else if (version == '12.3(10a)')
security_hole(0);
else if (version == '12.3(10)')
security_hole(0);
else if (version == '12.3(9e)')
security_hole(0);
else if (version == '12.3(9d)')
security_hole(0);
else if (version == '12.3(9c)')
security_hole(0);
else if (version == '12.3(9b)')
security_hole(0);
else if (version == '12.3(9a)')
security_hole(0);
else if (version == '12.3(9)')
security_hole(0);
else if (version == '12.3(6f)')
security_hole(0);
else if (version == '12.3(6e)')
security_hole(0);
else if (version == '12.3(6c)')
security_hole(0);
else if (version == '12.3(6b)')
security_hole(0);
else if (version == '12.3(6a)')
security_hole(0);
else if (version == '12.3(6)')
security_hole(0);
else if (version == '12.3(5f)')
security_hole(0);
else if (version == '12.3(5e)')
security_hole(0);
else if (version == '12.3(5d)')
security_hole(0);
else if (version == '12.3(5c)')
security_hole(0);
else if (version == '12.3(5b)')
security_hole(0);
else if (version == '12.3(5a)')
security_hole(0);
else if (version == '12.3(5)')
security_hole(0);
else if (version == '12.3(3i)')
security_hole(0);
else if (version == '12.3(3h)')
security_hole(0);
else if (version == '12.3(3g)')
security_hole(0);
else if (version == '12.3(3f)')
security_hole(0);
else if (version == '12.3(3e)')
security_hole(0);
else if (version == '12.3(3c)')
security_hole(0);
else if (version == '12.3(3b)')
security_hole(0);
else if (version == '12.3(3a)')
security_hole(0);
else if (version == '12.3(3)')
security_hole(0);
else if (version == '12.3(1a)')
security_hole(0);
else if (version == '12.3(1)')
security_hole(0);
else if (version == '12.2(28)ZX')
security_hole(0);
else if (version == '12.2(18)ZU1')
security_hole(0);
else if (version == '12.2(18)ZU')
security_hole(0);
else if (version == '12.2(13)ZP4')
security_hole(0);
else if (version == '12.2(13)ZP3')
security_hole(0);
else if (version == '12.2(13)ZP2')
security_hole(0);
else if (version == '12.2(13)ZP1')
security_hole(0);
else if (version == '12.2(13)ZP')
security_hole(0);
else if (version == '12.2(15)ZL1')
security_hole(0);
else if (version == '12.2(15)ZL')
security_hole(0);
else if (version == '12.2(15)ZJ5')
security_hole(0);
else if (version == '12.2(15)ZJ3')
security_hole(0);
else if (version == '12.2(15)ZJ2')
security_hole(0);
else if (version == '12.2(15)ZJ1')
security_hole(0);
else if (version == '12.2(15)ZJ')
security_hole(0);
else if (version == '12.2(13)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)XU')
security_hole(0);
else if (version == '12.2(2)XT3')
security_hole(0);
else if (version == '12.2(2)XT2')
security_hole(0);
else if (version == '12.2(2)XT')
security_hole(0);
else if (version == '12.2(1)XS2')
security_hole(0);
else if (version == '12.2(1)XS1a')
security_hole(0);
else if (version == '12.2(1)XS1')
security_hole(0);
else if (version == '12.2(1)XS')
security_hole(0);
else if (version == '12.2(15)XR2')
security_hole(0);
else if (version == '12.2(15)XR1')
security_hole(0);
else if (version == '12.2(15)XR')
security_hole(0);
else if (version == '12.2(4)XR')
security_hole(0);
else if (version == '12.2(2)XR')
security_hole(0);
else if (version == '12.2(2)XQ1')
security_hole(0);
else if (version == '12.2(2)XQ')
security_hole(0);
else if (version == '12.2(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(28)VZ')
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)SXF4')
security_hole(0);
else if (version == '12.2(18)SXF3')
security_hole(0);
else if (version == '12.2(18)SXF2')
security_hole(0);
else if (version == '12.2(18)SXF1')
security_hole(0);
else if (version == '12.2(18)SXF')
security_hole(0);
else if (version == '12.2(18)SXE5')
security_hole(0);
else if (version == '12.2(18)SXE4')
security_hole(0);
else if (version == '12.2(18)SXE3')
security_hole(0);
else if (version == '12.2(18)SXE2')
security_hole(0);
else if (version == '12.2(18)SXE1')
security_hole(0);
else if (version == '12.2(18)SXE')
security_hole(0);
else if (version == '12.2(18)SXD7')
security_hole(0);
else if (version == '12.2(18)SXD6')
security_hole(0);
else if (version == '12.2(18)SXD5')
security_hole(0);
else if (version == '12.2(18)SXD4')
security_hole(0);
else if (version == '12.2(18)SXD3')
security_hole(0);
else if (version == '12.2(18)SXD2')
security_hole(0);
else if (version == '12.2(18)SXD1')
security_hole(0);
else if (version == '12.2(18)SXD')
security_hole(0);
else if (version == '12.2(17d)SXB9')
security_hole(0);
else if (version == '12.2(17d)SXB8')
security_hole(0);
else if (version == '12.2(17d)SXB7')
security_hole(0);
else if (version == '12.2(17d)SXB6')
security_hole(0);
else if (version == '12.2(17d)SXB5')
security_hole(0);
else if (version == '12.2(17d)SXB4')
security_hole(0);
else if (version == '12.2(17d)SXB3')
security_hole(0);
else if (version == '12.2(17d)SXB2')
security_hole(0);
else if (version == '12.2(17d)SXB11a')
security_hole(0);
else if (version == '12.2(17d)SXB11')
security_hole(0);
else if (version == '12.2(17d)SXB10')
security_hole(0);
else if (version == '12.2(17d)SXB1')
security_hole(0);
else if (version == '12.2(17d)SXB')
security_hole(0);
else if (version == '12.2(17b)SXA2')
security_hole(0);
else if (version == '12.2(17b)SXA')
security_hole(0);
else if (version == '12.2(17a)SX4')
security_hole(0);
else if (version == '12.2(17a)SX3')
security_hole(0);
else if (version == '12.2(17a)SX2')
security_hole(0);
else if (version == '12.2(17a)SX1')
security_hole(0);
else if (version == '12.2(17a)SX')
security_hole(0);
else if (version == '12.2(14)SX2')
security_hole(0);
else if (version == '12.2(14)SX1')
security_hole(0);
else if (version == '12.2(14)SX')
security_hole(0);
else if (version == '12.2(25)SW7')
security_hole(0);
else if (version == '12.2(25)SW6')
security_hole(0);
else if (version == '12.2(25)SW5')
security_hole(0);
else if (version == '12.2(25)SW4a')
security_hole(0);
else if (version == '12.2(25)SW4')
security_hole(0);
else if (version == '12.2(25)SW3a')
security_hole(0);
else if (version == '12.2(25)SW3')
security_hole(0);
else if (version == '12.2(25)SW2')
security_hole(0);
else if (version == '12.2(25)SW1')
security_hole(0);
else if (version == '12.2(23)SW1')
security_hole(0);
else if (version == '12.2(23)SW')
security_hole(0);
else if (version == '12.2(21)SW1')
security_hole(0);
else if (version == '12.2(21)SW')
security_hole(0);
else if (version == '12.2(20)SW')
security_hole(0);
else if (version == '12.2(19)SW')
security_hole(0);
else if (version == '12.2(18)SW')
security_hole(0);
else if (version == '12.2(29a)SV1')
security_hole(0);
else if (version == '12.2(29a)SV')
security_hole(0);
else if (version == '12.2(29)SV')
security_hole(0);
else if (version == '12.2(28)SV')
security_hole(0);
else if (version == '12.2(27)SV3')
security_hole(0);
else if (version == '12.2(27)SV2')
security_hole(0);
else if (version == '12.2(27)SV1')
security_hole(0);
else if (version == '12.2(27)SV')
security_hole(0);
else if (version == '12.2(26)SV1')
security_hole(0);
else if (version == '12.2(26)SV')
security_hole(0);
else if (version == '12.2(25)SV3')
security_hole(0);
else if (version == '12.2(25)SV2')
security_hole(0);
else if (version == '12.2(25)SV')
security_hole(0);
else if (version == '12.2(24)SV1')
security_hole(0);
else if (version == '12.2(24)SV')
security_hole(0);
else if (version == '12.2(23)SV1')
security_hole(0);
else if (version == '12.2(23)SV')
security_hole(0);
else if (version == '12.2(22)SV1')
security_hole(0);
else if (version == '12.2(22)SV')
security_hole(0);
else if (version == '12.2(18)SV3')
security_hole(0);
else if (version == '12.2(18)SV2')
security_hole(0);
else if (version == '12.2(18)SV1')
security_hole(0);
else if (version == '12.2(18)SV')
security_hole(0);
else if (version == '12.2(14)SU2')
security_hole(0);
else if (version == '12.2(14)SU1')
security_hole(0);
else if (version == '12.2(14)SU')
security_hole(0);
else if (version == '12.2(18)SO6')
security_hole(0);
else if (version == '12.2(18)SO5')
security_hole(0);
else if (version == '12.2(18)SO4')
security_hole(0);
else if (version == '12.2(18)SO3')
security_hole(0);
else if (version == '12.2(18)SO2')
security_hole(0);
else if (version == '12.2(18)SO1')
security_hole(0);
else if (version == '12.2(29)SM1')
security_hole(0);
else if (version == '12.2(29)SM')
security_hole(0);
else if (version == '12.2(31)SG1')
security_hole(0);
else if (version == '12.2(31)SG')
security_hole(0);
else if (version == '12.2(25)SG1')
security_hole(0);
else if (version == '12.2(25)SG')
security_hole(0);
else if (version == '12.2(25)SEE')
security_hole(0);
else if (version == '12.2(25)SED1')
security_hole(0);
else if (version == '12.2(25)SED')
security_hole(0);
else if (version == '12.2(25)SEC2')
security_hole(0);
else if (version == '12.2(25)SEC1')
security_hole(0);
else if (version == '12.2(25)SEC')
security_hole(0);
else if (version == '12.2(25)SEB4')
security_hole(0);
else if (version == '12.2(25)SEB3')
security_hole(0);
else if (version == '12.2(25)SEB2')
security_hole(0);
else if (version == '12.2(25)SEB1')
security_hole(0);
else if (version == '12.2(25)SEB')
security_hole(0);
else if (version == '12.2(25)SEA')
security_hole(0);
else if (version == '12.2(25)SE3')
security_hole(0);
else if (version == '12.2(25)SE2')
security_hole(0);
else if (version == '12.2(25)SE')
security_hole(0);
else if (version == '12.2(20)SE4')
security_hole(0);
else if (version == '12.2(20)SE3')
security_hole(0);
else if (version == '12.2(20)SE2')
security_hole(0);
else if (version == '12.2(20)SE1')
security_hole(0);
else if (version == '12.2(20)SE')
security_hole(0);
else if (version == '12.2(18)SE1')
security_hole(0);
else if (version == '12.2(18)SE')
security_hole(0);
else if (version == '12.2(27)SBC4')
security_hole(0);
else if (version == '12.2(27)SBC3')
security_hole(0);
else if (version == '12.2(27)SBC2')
security_hole(0);
else if (version == '12.2(27)SBC1')
security_hole(0);
else if (version == '12.2(27)SBC')
security_hole(0);
else if (version == '12.2(28)SB1')
security_hole(0);
else if (version == '12.2(28)SB')
security_hole(0);
else if (version == '12.2(30)S1')
security_hole(0);
else if (version == '12.2(30)S')
security_hole(0);
else if (version == '12.2(25)S9')
security_hole(0);
else if (version == '12.2(25)S8')
security_hole(0);
else if (version == '12.2(25)S7')
security_hole(0);
else if (version == '12.2(25)S6')
security_hole(0);
else if (version == '12.2(25)S5')
security_hole(0);
else if (version == '12.2(25)S4')
security_hole(0);
else if (version == '12.2(25)S3')
security_hole(0);
else if (version == '12.2(25)S2')
security_hole(0);
else if (version == '12.2(25)S11')
security_hole(0);
else if (version == '12.2(25)S10')
security_hole(0);
else if (version == '12.2(25)S1')
security_hole(0);
else if (version == '12.2(25)S')
security_hole(0);
else if (version == '12.2(22)S2')
security_hole(0);
else if (version == '12.2(22)S1')
security_hole(0);
else if (version == '12.2(22)S')
security_hole(0);
else if (version == '12.2(20)S9')
security_hole(0);
else if (version == '12.2(20)S8')
security_hole(0);
else if (version == '12.2(20)S7')
security_hole(0);
else if (version == '12.2(20)S6')
security_hole(0);
else if (version == '12.2(20)S5')
security_hole(0);
else if (version == '12.2(20)S4')
security_hole(0);
else if (version == '12.2(20)S3')
security_hole(0);
else if (version == '12.2(20)S2')
security_hole(0);
else if (version == '12.2(20)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(18)IXD')
security_hole(0);
else if (version == '12.2(18)IXC')
security_hole(0);
else if (version == '12.2(18)IXB2')
security_hole(0);
else if (version == '12.2(18)IXB1')
security_hole(0);
else if (version == '12.2(18)IXB')
security_hole(0);
else if (version == '12.2(18)IXA')
security_hole(0);
else if (version == '12.2(25)FY')
security_hole(0);
else if (version == '12.2(25)FX')
security_hole(0);
else if (version == '12.2(25)EZ1')
security_hole(0);
else if (version == '12.2(25)EZ')
security_hole(0);
else if (version == '12.2(25)EY3')
security_hole(0);
else if (version == '12.2(25)EY2')
security_hole(0);
else if (version == '12.2(25)EY1')
security_hole(0);
else if (version == '12.2(25)EY')
security_hole(0);
else if (version == '12.2(25)EX')
security_hole(0);
else if (version == '12.2(20)EX')
security_hole(0);
else if (version == '12.2(25)EWA5')
security_hole(0);
else if (version == '12.2(25)EWA4')
security_hole(0);
else if (version == '12.2(25)EWA3')
security_hole(0);
else if (version == '12.2(25)EWA2')
security_hole(0);
else if (version == '12.2(25)EWA1')
security_hole(0);
else if (version == '12.2(25)EWA')
security_hole(0);
else if (version == '12.2(20)EWA4')
security_hole(0);
else if (version == '12.2(20)EWA3')
security_hole(0);
else if (version == '12.2(20)EWA2')
security_hole(0);
else if (version == '12.2(20)EWA1')
security_hole(0);
else if (version == '12.2(20)EWA')
security_hole(0);
else if (version == '12.2(25)EW')
security_hole(0);
else if (version == '12.2(20)EW4')
security_hole(0);
else if (version == '12.2(20)EW3')
security_hole(0);
else if (version == '12.2(20)EW2')
security_hole(0);
else if (version == '12.2(20)EW1')
security_hole(0);
else if (version == '12.2(20)EW')
security_hole(0);
else if (version == '12.2(18)EW7')
security_hole(0);
else if (version == '12.2(18)EW6')
security_hole(0);
else if (version == '12.2(18)EW5')
security_hole(0);
else if (version == '12.2(18)EW4')
security_hole(0);
else if (version == '12.2(18)EW3')
security_hole(0);
else if (version == '12.2(18)EW2')
security_hole(0);
else if (version == '12.2(18)EW1')
security_hole(0);
else if (version == '12.2(18)EW')
security_hole(0);
else if (version == '12.2(20)EU2')
security_hole(0);
else if (version == '12.2(20)EU1')
security_hole(0);
else if (version == '12.2(20)EU')
security_hole(0);
else if (version == '12.2(2)DX3')
security_hole(0);
else if (version == '12.2(1)DX1')
security_hole(0);
else if (version == '12.2(1)DX')
security_hole(0);
else if (version == '12.2(2)DD4')
security_hole(0);
else if (version == '12.2(2)DD3')
security_hole(0);
else if (version == '12.2(2)DD2')
security_hole(0);
else if (version == '12.2(2)DD1')
security_hole(0);
else if (version == '12.2(2)DD')
security_hole(0);
else if (version == '12.2(12)DA9')
security_hole(0);
else if (version == '12.2(12)DA8')
security_hole(0);
else if (version == '12.2(12)DA7')
security_hole(0);
else if (version == '12.2(12)DA6')
security_hole(0);
else if (version == '12.2(12)DA5')
security_hole(0);
else if (version == '12.2(12)DA4')
security_hole(0);
else if (version == '12.2(12)DA3')
security_hole(0);
else if (version == '12.2(12)DA2')
security_hole(0);
else if (version == '12.2(12)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(34a)')
security_hole(0);
else if (version == '12.2(34)')
security_hole(0);
else if (version == '12.2(32)')
security_hole(0);
else if (version == '12.2(31)')
security_hole(0);
else if (version == '12.2(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)XY1')
security_hole(0);
else if (version == '12.1(4)XY')
security_hole(0);
else if (version == '12.1(5)XX3')
security_hole(0);
else if (version == '12.1(5)XX2')
security_hole(0);
else if (version == '12.1(5)XX1')
security_hole(0);
else if (version == '12.1(5)XX')
security_hole(0);
else if (version == '12.1(3)XW2')
security_hole(0);
else if (version == '12.1(3)XW1')
security_hole(0);
else if (version == '12.1(3)XW')
security_hole(0);
else if (version == '12.1(5)XV4')
security_hole(0);
else if (version == '12.1(5)XV2')
security_hole(0);
else if (version == '12.1(5)XV1')
security_hole(0);
else if (version == '12.1(5)XV')
security_hole(0);
else if (version == '12.1(5)XU1')
security_hole(0);
else if (version == '12.1(5)XU')
security_hole(0);
else if (version == '12.1(3)XT2')
security_hole(0);
else if (version == '12.1(3)XT1')
security_hole(0);
else if (version == '12.1(3)XT')
security_hole(0);
else if (version == '12.1(2)XT2')
security_hole(0);
else if (version == '12.1(5)XS5')
security_hole(0);
else if (version == '12.1(5)XS4')
security_hole(0);
else if (version == '12.1(5)XS3')
security_hole(0);
else if (version == '12.1(5)XS2')
security_hole(0);
else if (version == '12.1(5)XS1')
security_hole(0);
else if (version == '12.1(5)XS')
security_hole(0);
else if (version == '12.1(3)XS')
security_hole(0);
else if (version == '12.1(5)XR2')
security_hole(0);
else if (version == '12.1(5)XR1')
security_hole(0);
else if (version == '12.1(5)XR')
security_hole(0);
else if (version == '12.1(3)XQ3')
security_hole(0);
else if (version == '12.1(3)XQ2')
security_hole(0);
else if (version == '12.1(3)XQ1')
security_hole(0);
else if (version == '12.1(3)XQ')
security_hole(0);
else if (version == '12.1(3)XP4')
security_hole(0);
else if (version == '12.1(3)XP3')
security_hole(0);
else if (version == '12.1(3)XP2')
security_hole(0);
else if (version == '12.1(3)XP1')
security_hole(0);
else if (version == '12.1(3)XP')
security_hole(0);
else if (version == '12.1(5)XM8')
security_hole(0);
else if (version == '12.1(5)XM7')
security_hole(0);
else if (version == '12.1(5)XM6')
security_hole(0);
else if (version == '12.1(5)XM5')
security_hole(0);
else if (version == '12.1(5)XM4')
security_hole(0);
else if (version == '12.1(5)XM3')
security_hole(0);
else if (version == '12.1(5)XM2')
security_hole(0);
else if (version == '12.1(5)XM1')
security_hole(0);
else if (version == '12.1(5)XM')
security_hole(0);
else if (version == '12.1(3a)XL3')
security_hole(0);
else if (version == '12.1(3a)XL2')
security_hole(0);
else if (version == '12.1(3a)XL1')
security_hole(0);
else if (version == '12.1(3)XL')
security_hole(0);
else if (version == '12.1(3)XJ')
security_hole(0);
else if (version == '12.1(3a)XI9')
security_hole(0);
else if (version == '12.1(3a)XI8')
security_hole(0);
else if (version == '12.1(3a)XI7')
security_hole(0);
else if (version == '12.1(3a)XI6')
security_hole(0);
else if (version == '12.1(3a)XI5')
security_hole(0);
else if (version == '12.1(3a)XI4')
security_hole(0);
else if (version == '12.1(3a)XI3')
security_hole(0);
else if (version == '12.1(3a)XI2')
security_hole(0);
else if (version == '12.1(3a)XI1')
security_hole(0);
else if (version == '12.1(3)XI')
security_hole(0);
else if (version == '12.1(2a)XH3')
security_hole(0);
else if (version == '12.1(2a)XH2')
security_hole(0);
else if (version == '12.1(2a)XH1')
security_hole(0);
else if (version == '12.1(2a)XH')
security_hole(0);
else if (version == '12.1(3)XG6')
security_hole(0);
else if (version == '12.1(3)XG5')
security_hole(0);
else if (version == '12.1(3)XG4')
security_hole(0);
else if (version == '12.1(3)XG3')
security_hole(0);
else if (version == '12.1(3)XG2')
security_hole(0);
else if (version == '12.1(3)XG1')
security_hole(0);
else if (version == '12.1(3)XG')
security_hole(0);
else if (version == '12.1(2)XF5')
security_hole(0);
else if (version == '12.1(2)XF4')
security_hole(0);
else if (version == '12.1(2)XF3')
security_hole(0);
else if (version == '12.1(2)XF2')
security_hole(0);
else if (version == '12.1(2)XF1')
security_hole(0);
else if (version == '12.1(2)XF')
security_hole(0);
else if (version == '12.1(1)XE1')
security_hole(0);
else if (version == '12.1(1)XE')
security_hole(0);
else if (version == '12.1(1)XD2')
security_hole(0);
else if (version == '12.1(1)XD1')
security_hole(0);
else if (version == '12.1(1)XD')
security_hole(0);
else if (version == '12.1(1)XC1')
security_hole(0);
else if (version == '12.1(1)XB')
security_hole(0);
else if (version == '12.1(1)XA4')
security_hole(0);
else if (version == '12.1(1)XA3')
security_hole(0);
else if (version == '12.1(1)XA2')
security_hole(0);
else if (version == '12.1(1)XA')
security_hole(0);
else if (version == '12.1(5)T9')
security_hole(0);
else if (version == '12.1(5)T8b')
security_hole(0);
else if (version == '12.1(5)T8a')
security_hole(0);
else if (version == '12.1(5)T8')
security_hole(0);
else if (version == '12.1(5)T7')
security_hole(0);
else if (version == '12.1(5)T6')
security_hole(0);
else if (version == '12.1(5)T5')
security_hole(0);
else if (version == '12.1(5)T4')
security_hole(0);
else if (version == '12.1(5)T3')
security_hole(0);
else if (version == '12.1(5)T20')
security_hole(0);
else if (version == '12.1(5)T2')
security_hole(0);
else if (version == '12.1(5)T19')
security_hole(0);
else if (version == '12.1(5)T18')
security_hole(0);
else if (version == '12.1(5)T17')
security_hole(0);
else if (version == '12.1(5)T15')
security_hole(0);
else if (version == '12.1(5)T14')
security_hole(0);
else if (version == '12.1(5)T12')
security_hole(0);
else if (version == '12.1(5)T11')
security_hole(0);
else if (version == '12.1(5)T10')
security_hole(0);
else if (version == '12.1(5)T1')
security_hole(0);
else if (version == '12.1(5)T')
security_hole(0);
else if (version == '12.1(3a)T8')
security_hole(0);
else if (version == '12.1(3a)T7')
security_hole(0);
else if (version == '12.1(3a)T6')
security_hole(0);
else if (version == '12.1(3a)T5')
security_hole(0);
else if (version == '12.1(3a)T4')
security_hole(0);
else if (version == '12.1(3a)T3')
security_hole(0);
else if (version == '12.1(3a)T2')
security_hole(0);
else if (version == '12.1(3a)T1')
security_hole(0);
else if (version == '12.1(3)T')
security_hole(0);
else if (version == '12.1(2a)T2')
security_hole(0);
else if (version == '12.1(2a)T1')
security_hole(0);
else if (version == '12.1(2)T')
security_hole(0);
else if (version == '12.1(1a)T1')
security_hole(0);
else if (version == '12.1(1)T')
security_hole(0);
else if (version == '12.1(2)GB')
security_hole(0);
else if (version == '12.1(1)GA1')
security_hole(0);
else if (version == '12.1(1)GA')
security_hole(0);
else if (version == '12.1(6)EZ6')
security_hole(0);
else if (version == '12.1(6)EZ5')
security_hole(0);
else if (version == '12.1(6)EZ4')
security_hole(0);
else if (version == '12.1(6)EZ3')
security_hole(0);
else if (version == '12.1(6)EZ2')
security_hole(0);
else if (version == '12.1(6)EZ1')
security_hole(0);
else if (version == '12.1(6)EZ')
security_hole(0);
else if (version == '12.1(12c)EY')
security_hole(0);
else if (version == '12.1(10)EY')
security_hole(0);
else if (version == '12.1(7a)EY3')
security_hole(0);
else if (version == '12.1(7a)EY2')
security_hole(0);
else if (version == '12.1(7a)EY1')
security_hole(0);
else if (version == '12.1(7a)EY')
security_hole(0);
else if (version == '12.1(6)EY1')
security_hole(0);
else if (version == '12.1(6)EY')
security_hole(0);
else if (version == '12.1(5)EY2')
security_hole(0);
else if (version == '12.1(5)EY1')
security_hole(0);
else if (version == '12.1(5)EY')
security_hole(0);
else if (version == '12.1(13)EX3')
security_hole(0);
else if (version == '12.1(13)EX2')
security_hole(0);
else if (version == '12.1(13)EX1')
security_hole(0);
else if (version == '12.1(13)EX')
security_hole(0);
else if (version == '12.1(12c)EX1')
security_hole(0);
else if (version == '12.1(12c)EX')
security_hole(0);
else if (version == '12.1(11b)EX1')
security_hole(0);
else if (version == '12.1(11b)EX')
security_hole(0);
else if (version == '12.1(10)EX2')
security_hole(0);
else if (version == '12.1(10)EX1')
security_hole(0);
else if (version == '12.1(10)EX')
security_hole(0);
else if (version == '12.1(9)EX3')
security_hole(0);
else if (version == '12.1(9)EX2')
security_hole(0);
else if (version == '12.1(9)EX1')
security_hole(0);
else if (version == '12.1(9)EX')
security_hole(0);
else if (version == '12.1(8b)EX5')
security_hole(0);
else if (version == '12.1(8b)EX4')
security_hole(0);
else if (version == '12.1(8b)EX3')
security_hole(0);
else if (version == '12.1(8b)EX2')
security_hole(0);
else if (version == '12.1(8a)EX1')
security_hole(0);
else if (version == '12.1(8a)EX')
security_hole(0);
else if (version == '12.1(5c)EX3')
security_hole(0);
else if (version == '12.1(1)EX1')
security_hole(0);
else if (version == '12.1(1)EX')
security_hole(0);
else if (version == '12.1(20)EW4')
security_hole(0);
else if (version == '12.1(20)EW3')
security_hole(0);
else if (version == '12.1(20)EW2')
security_hole(0);
else if (version == '12.1(20)EW1')
security_hole(0);
else if (version == '12.1(20)EW')
security_hole(0);
else if (version == '12.1(19)EW3')
security_hole(0);
else if (version == '12.1(19)EW2')
security_hole(0);
else if (version == '12.1(19)EW1')
security_hole(0);
else if (version == '12.1(19)EW')
security_hole(0);
else if (version == '12.1(13)EW4')
security_hole(0);
else if (version == '12.1(13)EW3')
security_hole(0);
else if (version == '12.1(13)EW2')
security_hole(0);
else if (version == '12.1(13)EW1')
security_hole(0);
else if (version == '12.1(13)EW')
security_hole(0);
else if (version == '12.1(12c)EW4')
security_hole(0);
else if (version == '12.1(12c)EW3')
security_hole(0);
else if (version == '12.1(12c)EW2')
security_hole(0);
else if (version == '12.1(12c)EW1')
security_hole(0);
else if (version == '12.1(12c)EW')
security_hole(0);
else if (version == '12.1(11b)EW1')
security_hole(0);
else if (version == '12.1(11b)EW')
security_hole(0);
else if (version == '12.1(8a)EW1')
security_hole(0);
else if (version == '12.1(8a)EW')
security_hole(0);
else if (version == '12.1(12c)EV3')
security_hole(0);
else if (version == '12.1(12c)EV2')
security_hole(0);
else if (version == '12.1(12c)EV1')
security_hole(0);
else if (version == '12.1(12c)EV')
security_hole(0);
else if (version == '12.1(10)EV4')
security_hole(0);
else if (version == '12.1(10)EV3')
security_hole(0);
else if (version == '12.1(10)EV2')
security_hole(0);
else if (version == '12.1(10)EV1a')
security_hole(0);
else if (version == '12.1(10)EV1')
security_hole(0);
else if (version == '12.1(10)EV')
security_hole(0);
else if (version == '12.1(20)EU1')
security_hole(0);
else if (version == '12.1(20)EU')
security_hole(0);
else if (version == '12.1(20)EO3')
security_hole(0);
else if (version == '12.1(20)EO2')
security_hole(0);
else if (version == '12.1(20)EO1')
security_hole(0);
else if (version == '12.1(20)EO')
security_hole(0);
else if (version == '12.1(19)EO5')
security_hole(0);
else if (version == '12.1(19)EO4')
security_hole(0);
else if (version == '12.1(19)EO3')
security_hole(0);
else if (version == '12.1(19)EO2')
security_hole(0);
else if (version == '12.1(19)EO1')
security_hole(0);
else if (version == '12.1(19)EO')
security_hole(0);
else if (version == '12.1(14)EO1')
security_hole(0);
else if (version == '12.1(14)EO')
security_hole(0);
else if (version == '12.1(22)EC1')
security_hole(0);
else if (version == '12.1(22)EC')
security_hole(0);
else if (version == '12.1(20)EC3')
security_hole(0);
else if (version == '12.1(20)EC2')
security_hole(0);
else if (version == '12.1(20)EC1')
security_hole(0);
else if (version == '12.1(20)EC')
security_hole(0);
else if (version == '12.1(19)EC1')
security_hole(0);
else if (version == '12.1(19)EC')
security_hole(0);
else if (version == '12.1(13)EC4')
security_hole(0);
else if (version == '12.1(13)EC3')
security_hole(0);
else if (version == '12.1(13)EC2')
security_hole(0);
else if (version == '12.1(13)EC1')
security_hole(0);
else if (version == '12.1(13)EC')
security_hole(0);
else if (version == '12.1(12c)EC1')
security_hole(0);
else if (version == '12.1(12c)EC')
security_hole(0);
else if (version == '12.1(11b)EC1')
security_hole(0);
else if (version == '12.1(11b)EC')
security_hole(0);
else if (version == '12.1(10)EC1')
security_hole(0);
else if (version == '12.1(10)EC')
security_hole(0);
else if (version == '12.1(9)EC1')
security_hole(0);
else if (version == '12.1(8)EC1')
security_hole(0);
else if (version == '12.1(8)EC')
security_hole(0);
else if (version == '12.1(7)EC')
security_hole(0);
else if (version == '12.1(6)EC1')
security_hole(0);
else if (version == '12.1(6)EC')
security_hole(0);
else if (version == '12.1(5)EC1')
security_hole(0);
else if (version == '12.1(5)EC')
security_hole(0);
else if (version == '12.1(4)EC')
security_hole(0);
else if (version == '12.1(3a)EC1')
security_hole(0);
else if (version == '12.1(3a)EC')
security_hole(0);
else if (version == '12.1(2)EC1')
security_hole(0);
else if (version == '12.1(2)EC')
security_hole(0);
else if (version == '12.1(26)EB1')
security_hole(0);
else if (version == '12.1(26)EB')
security_hole(0);
else if (version == '12.1(23)EB')
security_hole(0);
else if (version == '12.1(22)EB')
security_hole(0);
else if (version == '12.1(20)EB')
security_hole(0);
else if (version == '12.1(19)EB')
security_hole(0);
else if (version == '12.1(14)EB1')
security_hole(0);
else if (version == '12.1(14)EB')
security_hole(0);
else if (version == '12.1(13)EB1')
security_hole(0);
else if (version == '12.1(13)EB')
security_hole(0);
else if (version == '12.1(22)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(27b)E')
security_hole(0);
else if (version == '12.1(26)E6')
security_hole(0);
else if (version == '12.1(26)E5')
security_hole(0);
else if (version == '12.1(26)E4')
security_hole(0);
else if (version == '12.1(26)E3')
security_hole(0);
else if (version == '12.1(26)E2')
security_hole(0);
else if (version == '12.1(26)E1')
security_hole(0);
else if (version == '12.1(26)E')
security_hole(0);
else if (version == '12.1(23)E4')
security_hole(0);
else if (version == '12.1(23)E3')
security_hole(0);
else if (version == '12.1(23)E2')
security_hole(0);
else if (version == '12.1(23)E1')
security_hole(0);
else if (version == '12.1(23)E')
security_hole(0);
else if (version == '12.1(22)E6')
security_hole(0);
else if (version == '12.1(22)E5')
security_hole(0);
else if (version == '12.1(22)E4')
security_hole(0);
else if (version == '12.1(22)E3')
security_hole(0);
else if (version == '12.1(22)E2')
security_hole(0);
else if (version == '12.1(22)E1')
security_hole(0);
else if (version == '12.1(22)E')
security_hole(0);
else if (version == '12.1(20)E6')
security_hole(0);
else if (version == '12.1(20)E5')
security_hole(0);
else if (version == '12.1(20)E4')
security_hole(0);
else if (version == '12.1(20)E3')
security_hole(0);
else if (version == '12.1(20)E2')
security_hole(0);
else if (version == '12.1(20)E1')
security_hole(0);
else if (version == '12.1(20)E')
security_hole(0);
else if (version == '12.1(19)E7')
security_hole(0);
else if (version == '12.1(19)E6')
security_hole(0);
else if (version == '12.1(19)E4')
security_hole(0);
else if (version == '12.1(19)E3')
security_hole(0);
else if (version == '12.1(19)E2')
security_hole(0);
else if (version == '12.1(19)E1')
security_hole(0);
else if (version == '12.1(19)E')
security_hole(0);
else if (version == '12.1(14)E7')
security_hole(0);
else if (version == '12.1(14)E6')
security_hole(0);
else if (version == '12.1(14)E5')
security_hole(0);
else if (version == '12.1(14)E4')
security_hole(0);
else if (version == '12.1(14)E3')
security_hole(0);
else if (version == '12.1(14)E2')
security_hole(0);
else if (version == '12.1(14)E10')
security_hole(0);
else if (version == '12.1(14)E1')
security_hole(0);
else if (version == '12.1(14)E')
security_hole(0);
else if (version == '12.1(13)E9')
security_hole(0);
else if (version == '12.1(13)E8')
security_hole(0);
else if (version == '12.1(13)E7')
security_hole(0);
else if (version == '12.1(13)E6')
security_hole(0);
else if (version == '12.1(13)E5')
security_hole(0);
else if (version == '12.1(13)E4')
security_hole(0);
else if (version == '12.1(13)E3')
security_hole(0);
else if (version == '12.1(13)E2')
security_hole(0);
else if (version == '12.1(13)E17')
security_hole(0);
else if (version == '12.1(13)E16')
security_hole(0);
else if (version == '12.1(13)E15')
security_hole(0);
else if (version == '12.1(13)E14')
security_hole(0);
else if (version == '12.1(13)E13')
security_hole(0);
else if (version == '12.1(13)E12')
security_hole(0);
else if (version == '12.1(13)E11')
security_hole(0);
else if (version == '12.1(13)E10')
security_hole(0);
else if (version == '12.1(13)E1')
security_hole(0);
else if (version == '12.1(13)E')
security_hole(0);
else if (version == '12.1(12c)E6')
security_hole(0);
else if (version == '12.1(12c)E5')
security_hole(0);
else if (version == '12.1(12c)E4')
security_hole(0);
else if (version == '12.1(12c)E3')
security_hole(0);
else if (version == '12.1(12c)E2')
security_hole(0);
else if (version == '12.1(12c)E1')
security_hole(0);
else if (version == '12.1(12c)E')
security_hole(0);
else if (version == '12.1(11b)E7')
security_hole(0);
else if (version == '12.1(11b)E5')
security_hole(0);
else if (version == '12.1(11b)E4')
security_hole(0);
else if (version == '12.1(11b)E3')
security_hole(0);
else if (version == '12.1(11b)E2')
security_hole(0);
else if (version == '12.1(11b)E14')
security_hole(0);
else if (version == '12.1(11b)E12')
security_hole(0);
else if (version == '12.1(11b)E11')
security_hole(0);
else if (version == '12.1(11b)E10')
security_hole(0);
else if (version == '12.1(11b)E1')
security_hole(0);
else if (version == '12.1(11b)E0a')
security_hole(0);
else if (version == '12.1(11b)E')
security_hole(0);
else if (version == '12.1(10)E8')
security_hole(0);
else if (version == '12.1(10)E7')
security_hole(0);
else if (version == '12.1(10)E6a')
security_hole(0);
else if (version == '12.1(10)E6')
security_hole(0);
else if (version == '12.1(10)E5')
security_hole(0);
else if (version == '12.1(10)E4')
security_hole(0);
else if (version == '12.1(10)E3')
security_hole(0);
else if (version == '12.1(10)E2')
security_hole(0);
else if (version == '12.1(10)E1')
security_hole(0);
else if (version == '12.1(10)E')
security_hole(0);
else if (version == '12.1(9)E3')
security_hole(0);
else if (version == '12.1(9)E2')
security_hole(0);
else if (version == '12.1(9)E1')
security_hole(0);
else if (version == '12.1(9)E')
security_hole(0);
else if (version == '12.1(8b)E9')
security_hole(0);
else if (version == '12.1(8b)E8')
security_hole(0);
else if (version == '12.1(8b)E7')
security_hole(0);
else if (version == '12.1(8b)E6')
security_hole(0);
else if (version == '12.1(8b)E20')
security_hole(0);
else if (version == '12.1(8b)E19')
security_hole(0);
else if (version == '12.1(8b)E18')
security_hole(0);
else if (version == '12.1(8b)E15')
security_hole(0);
else if (version == '12.1(8b)E14')
security_hole(0);
else if (version == '12.1(8b)E13')
security_hole(0);
else if (version == '12.1(8b)E12')
security_hole(0);
else if (version == '12.1(8b)E11')
security_hole(0);
else if (version == '12.1(8b)E10')
security_hole(0);
else if (version == '12.1(8a)E5')
security_hole(0);
else if (version == '12.1(8a)E4')
security_hole(0);
else if (version == '12.1(8a)E3')
security_hole(0);
else if (version == '12.1(8a)E2')
security_hole(0);
else if (version == '12.1(8a)E1')
security_hole(0);
else if (version == '12.1(8a)E')
security_hole(0);
else if (version == '12.1(7a)E6')
security_hole(0);
else if (version == '12.1(7a)E5')
security_hole(0);
else if (version == '12.1(7a)E4')
security_hole(0);
else if (version == '12.1(7a)E3')
security_hole(0);
else if (version == '12.1(7a)E2')
security_hole(0);
else if (version == '12.1(7a)E1a')
security_hole(0);
else if (version == '12.1(7a)E1')
security_hole(0);
else if (version == '12.1(7)E0a')
security_hole(0);
else if (version == '12.1(7)E')
security_hole(0);
else if (version == '12.1(6)E8')
security_hole(0);
else if (version == '12.1(6)E6')
security_hole(0);
else if (version == '12.1(6)E5')
security_hole(0);
else if (version == '12.1(6)E4')
security_hole(0);
else if (version == '12.1(6)E3')
security_hole(0);
else if (version == '12.1(6)E2')
security_hole(0);
else if (version == '12.1(6)E13')
security_hole(0);
else if (version == '12.1(6)E1')
security_hole(0);
else if (version == '12.1(6)E')
security_hole(0);
else if (version == '12.1(5c)E9')
security_hole(0);
else if (version == '12.1(5c)E8')
security_hole(0);
else if (version == '12.1(5c)E12')
security_hole(0);
else if (version == '12.1(5c)E10')
security_hole(0);
else if (version == '12.1(5b)E7')
security_hole(0);
else if (version == '12.1(5a)E4')
security_hole(0);
else if (version == '12.1(5a)E3')
security_hole(0);
else if (version == '12.1(5a)E2')
security_hole(0);
else if (version == '12.1(5a)E1')
security_hole(0);
else if (version == '12.1(5a)E')
security_hole(0);
else if (version == '12.1(4)E3')
security_hole(0);
else if (version == '12.1(4)E2')
security_hole(0);
else if (version == '12.1(4)E1')
security_hole(0);
else if (version == '12.1(4)E')
security_hole(0);
else if (version == '12.1(3a)E8')
security_hole(0);
else if (version == '12.1(3a)E7')
security_hole(0);
else if (version == '12.1(3a)E6')
security_hole(0);
else if (version == '12.1(3a)E5')
security_hole(0);
else if (version == '12.1(3a)E4')
security_hole(0);
else if (version == '12.1(3a)E3')
security_hole(0);
else if (version == '12.1(3a)E1')
security_hole(0);
else if (version == '12.1(3a)E')
security_hole(0);
else if (version == '12.1(2)E2')
security_hole(0);
else if (version == '12.1(2)E1')
security_hole(0);
else if (version == '12.1(2)E')
security_hole(0);
else if (version == '12.1(1)E6')
security_hole(0);
else if (version == '12.1(1)E5')
security_hole(0);
else if (version == '12.1(1)E4')
security_hole(0);
else if (version == '12.1(1)E3')
security_hole(0);
else if (version == '12.1(1)E1')
security_hole(0);
else if (version == '12.1(1)E')
security_hole(0);
else if (version == '12.1(5)DC3')
security_hole(0);
else if (version == '12.1(5)DC2')
security_hole(0);
else if (version == '12.1(5)DC1')
security_hole(0);
else if (version == '12.1(5)DC')
security_hole(0);
else if (version == '12.1(4)DC3')
security_hole(0);
else if (version == '12.1(4)DC2')
security_hole(0);
else if (version == '12.1(3)DC2')
security_hole(0);
else if (version == '12.1(3)DC1')
security_hole(0);
else if (version == '12.1(3)DC')
security_hole(0);
else if (version == '12.1(1)DC2')
security_hole(0);
else if (version == '12.1(1)DC1')
security_hole(0);
else if (version == '12.1(1)DC')
security_hole(0);
else if (version == '12.1(5)DB2')
security_hole(0);
else if (version == '12.1(5)DB1')
security_hole(0);
else if (version == '12.1(5)DB')
security_hole(0);
else if (version == '12.1(4)DB1')
security_hole(0);
else if (version == '12.1(3)DB1')
security_hole(0);
else if (version == '12.1(3)DB')
security_hole(0);
else if (version == '12.1(1)DB2')
security_hole(0);
else if (version == '12.1(1)DB')
security_hole(0);
else if (version == '12.1(7)DA3')
security_hole(0);
else if (version == '12.1(7)DA2')
security_hole(0);
else if (version == '12.1(7)DA1')
security_hole(0);
else if (version == '12.1(7)DA')
security_hole(0);
else if (version == '12.1(6)DA1')
security_hole(0);
else if (version == '12.1(6)DA')
security_hole(0);
else if (version == '12.1(5)DA1')
security_hole(0);
else if (version == '12.1(5)DA')
security_hole(0);
else if (version == '12.1(4)DA')
security_hole(0);
else if (version == '12.1(3)DA')
security_hole(0);
else if (version == '12.1(2)DA')
security_hole(0);
else if (version == '12.1(1)DA1')
security_hole(0);
else if (version == '12.1(1)DA')
security_hole(0);
else if (version == '12.1(7)CX1')
security_hole(0);
else if (version == '12.1(7)CX')
security_hole(0);
else if (version == '12.1(4)CX')
security_hole(0);
else if (version == '12.1(14)AZ')
security_hole(0);
else if (version == '12.1(22)AY1')
security_hole(0);
else if (version == '12.1(13)AY')
security_hole(0);
else if (version == '12.1(14)AX4')
security_hole(0);
else if (version == '12.1(14)AX3')
security_hole(0);
else if (version == '12.1(14)AX2')
security_hole(0);
else if (version == '12.1(14)AX1')
security_hole(0);
else if (version == '12.1(14)AX')
security_hole(0);
else if (version == '12.1(11)AX')
security_hole(0);
else if (version == '12.1(10)AA')
security_hole(0);
else if (version == '12.1(8)AA1')
security_hole(0);
else if (version == '12.1(8)AA')
security_hole(0);
else if (version == '12.1(7)AA')
security_hole(0);
else if (version == '12.1(6)AA')
security_hole(0);
else if (version == '12.1(5)AA')
security_hole(0);
else if (version == '12.1(4)AA')
security_hole(0);
else if (version == '12.1(3)AA')
security_hole(0);
else if (version == '12.1(2a)AA')
security_hole(0);
else if (version == '12.1(1)AA1')
security_hole(0);
else if (version == '12.1(1)AA')
security_hole(0);
else if (version == '12.1(27b)')
security_hole(0);
else if (version == '12.1(27a)')
security_hole(0);
else if (version == '12.1(27)')
security_hole(0);
else if (version == '12.1(26)')
security_hole(0);
else if (version == '12.1(25)')
security_hole(0);
else if (version == '12.1(24)')
security_hole(0);
else if (version == '12.1(22c)')
security_hole(0);
else if (version == '12.1(22b)')
security_hole(0);
else if (version == '12.1(22a)')
security_hole(0);
else if (version == '12.1(22)')
security_hole(0);
else if (version == '12.1(21)')
security_hole(0);
else if (version == '12.1(20a)')
security_hole(0);
else if (version == '12.1(20)')
security_hole(0);
else if (version == '12.1(19)')
security_hole(0);
else if (version == '12.1(18)')
security_hole(0);
else if (version == '12.1(17a)')
security_hole(0);
else if (version == '12.1(17)')
security_hole(0);
else if (version == '12.1(16)')
security_hole(0);
else if (version == '12.1(15)')
security_hole(0);
else if (version == '12.1(14)')
security_hole(0);
else if (version == '12.1(13a)')
security_hole(0);
else if (version == '12.1(13)')
security_hole(0);
else if (version == '12.1(12c)')
security_hole(0);
else if (version == '12.1(12b)')
security_hole(0);
else if (version == '12.1(12a)')
security_hole(0);
else if (version == '12.1(12)')
security_hole(0);
else if (version == '12.1(11b)')
security_hole(0);
else if (version == '12.1(11a)')
security_hole(0);
else if (version == '12.1(11)')
security_hole(0);
else if (version == '12.1(10a)')
security_hole(0);
else if (version == '12.1(10)')
security_hole(0);
else if (version == '12.1(9a)')
security_hole(0);
else if (version == '12.1(9)')
security_hole(0);
else if (version == '12.1(8b)')
security_hole(0);
else if (version == '12.1(8a)')
security_hole(0);
else if (version == '12.1(8)')
security_hole(0);
else if (version == '12.1(7c)')
security_hole(0);
else if (version == '12.1(7b)')
security_hole(0);
else if (version == '12.1(7a)')
security_hole(0);
else if (version == '12.1(7)')
security_hole(0);
else if (version == '12.1(6b)')
security_hole(0);
else if (version == '12.1(6a)')
security_hole(0);
else if (version == '12.1(6)')
security_hole(0);
else if (version == '12.1(5e)')
security_hole(0);
else if (version == '12.1(5d)')
security_hole(0);
else if (version == '12.1(5c)')
security_hole(0);
else if (version == '12.1(5b)')
security_hole(0);
else if (version == '12.1(5a)')
security_hole(0);
else if (version == '12.1(5)')
security_hole(0);
else if (version == '12.1(4c)')
security_hole(0);
else if (version == '12.1(4b)')
security_hole(0);
else if (version == '12.1(4a)')
security_hole(0);
else if (version == '12.1(3b)')
security_hole(0);
else if (version == '12.1(3)')
security_hole(0);
else if (version == '12.1(2b)')
security_hole(0);
else if (version == '12.1(2a)')
security_hole(0);
else if (version == '12.1(2)')
security_hole(0);
else if (version == '12.1(1c)')
security_hole(0);
else if (version == '12.1(1b)')
security_hole(0);
else if (version == '12.1(1a)')
security_hole(0);
else if (version == '12.1(1)')
security_hole(0);
else if (version == '12.0(7)XV')
security_hole(0);
else if (version == '12.0(5)XT1')
security_hole(0);
else if (version == '12.0(5)XS2')
security_hole(0);
else if (version == '12.0(5)XS1')
security_hole(0);
else if (version == '12.0(7)XR4')
security_hole(0);
else if (version == '12.0(7)XR3')
security_hole(0);
else if (version == '12.0(7)XR2')
security_hole(0);
else if (version == '12.0(7)XR1')
security_hole(0);
else if (version == '12.0(5)XQ1')
security_hole(0);
else if (version == '12.0(5)XQ')
security_hole(0);
else if (version == '12.0(5)XN')
security_hole(0);
else if (version == '12.0(4)XM1')
security_hole(0);
else if (version == '12.0(4)XM')
security_hole(0);
else if (version == '12.0(4)XL1')
security_hole(0);
else if (version == '12.0(4)XL')
security_hole(0);
else if (version == '12.0(7)XK3')
security_hole(0);
else if (version == '12.0(7)XK2')
security_hole(0);
else if (version == '12.0(7)XK1')
security_hole(0);
else if (version == '12.0(7)XK')
security_hole(0);
else if (version == '12.0(5)XK2')
security_hole(0);
else if (version == '12.0(5)XK1')
security_hole(0);
else if (version == '12.0(5)XK')
security_hole(0);
else if (version == '12.0(4)XJ6')
security_hole(0);
else if (version == '12.0(4)XJ5')
security_hole(0);
else if (version == '12.0(4)XJ4')
security_hole(0);
else if (version == '12.0(4)XJ3')
security_hole(0);
else if (version == '12.0(4)XJ2')
security_hole(0);
else if (version == '12.0(4)XJ1')
security_hole(0);
else if (version == '12.0(4)XJ')
security_hole(0);
else if (version == '12.0(4)XI1')
security_hole(0);
else if (version == '12.0(4)XI')
security_hole(0);
else if (version == '12.0(4)XH4')
security_hole(0);
else if (version == '12.0(4)XH3')
security_hole(0);
else if (version == '12.0(4)XH1')
security_hole(0);
else if (version == '12.0(4)XH')
security_hole(0);
else if (version == '12.0(2)XH')
security_hole(0);
else if (version == '12.0(3)XG')
security_hole(0);
else if (version == '12.0(7)XE2')
security_hole(0);
else if (version == '12.0(7)XE1')
security_hole(0);
else if (version == '12.0(5)XE8')
security_hole(0);
else if (version == '12.0(5)XE7')
security_hole(0);
else if (version == '12.0(5)XE6')
security_hole(0);
else if (version == '12.0(5)XE5')
security_hole(0);
else if (version == '12.0(5)XE4')
security_hole(0);
else if (version == '12.0(5)XE3')
security_hole(0);
else if (version == '12.0(5)XE2')
security_hole(0);
else if (version == '12.0(5)XE1')
security_hole(0);
else if (version == '12.0(5)XE')
security_hole(0);
else if (version == '12.0(4)XE2')
security_hole(0);
else if (version == '12.0(4)XE1')
security_hole(0);
else if (version == '12.0(4)XE')
security_hole(0);
else if (version == '12.0(3)XE2')
security_hole(0);
else if (version == '12.0(3)XE1')
security_hole(0);
else if (version == '12.0(3)XE')
security_hole(0);
else if (version == '12.0(2)XE4')
security_hole(0);
else if (version == '12.0(2)XE3')
security_hole(0);
else if (version == '12.0(2)XE2')
security_hole(0);
else if (version == '12.0(2)XE1')
security_hole(0);
else if (version == '12.0(2)XE')
security_hole(0);
else if (version == '12.0(1)XE')
security_hole(0);
else if (version == '12.0(2)XD1')
security_hole(0);
else if (version == '12.0(2)XC2')
security_hole(0);
else if (version == '12.0(2)XC1')
security_hole(0);
else if (version == '12.0(2)XC')
security_hole(0);
else if (version == '12.0(1)XB1')
security_hole(0);
else if (version == '12.0(1)XB')
security_hole(0);
else if (version == '12.0(1)XA3')
security_hole(0);
else if (version == '12.0(1)XA')
security_hole(0);
else if (version == '12.0(5)WC9a')
security_hole(0);
else if (version == '12.0(5)WC9')
security_hole(0);
else if (version == '12.0(5)WC8')
security_hole(0);
else if (version == '12.0(5)WC7')
security_hole(0);
else if (version == '12.0(5)WC6')
security_hole(0);
else if (version == '12.0(5)WC5a')
security_hole(0);
else if (version == '12.0(5)WC5')
security_hole(0);
else if (version == '12.0(5)WC4a')
security_hole(0);
else if (version == '12.0(5)WC4')
security_hole(0);
else if (version == '12.0(5)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(28)SW1')
security_hole(0);
else if (version == '12.0(21)ST7')
security_hole(0);
else if (version == '12.0(21)ST6a')
security_hole(0);
else if (version == '12.0(21)ST6')
security_hole(0);
else if (version == '12.0(21)ST5')
security_hole(0);
else if (version == '12.0(21)ST4')
security_hole(0);
else if (version == '12.0(21)ST3a')
security_hole(0);
else if (version == '12.0(21)ST3')
security_hole(0);
else if (version == '12.0(21)ST2b')
security_hole(0);
else if (version == '12.0(21)ST2a')
security_hole(0);
else if (version == '12.0(21)ST2')
security_hole(0);
else if (version == '12.0(21)ST1')
security_hole(0);
else if (version == '12.0(21)ST')
security_hole(0);
else if (version == '12.0(20)ST6')
security_hole(0);
else if (version == '12.0(20)ST5')
security_hole(0);
else if (version == '12.0(20)ST4')
security_hole(0);
else if (version == '12.0(20)ST3')
security_hole(0);
else if (version == '12.0(20)ST2')
security_hole(0);
else if (version == '12.0(20)ST1')
security_hole(0);
else if (version == '12.0(20)ST')
security_hole(0);
else if (version == '12.0(19)ST6')
security_hole(0);
else if (version == '12.0(19)ST5')
security_hole(0);
else if (version == '12.0(19)ST4')
security_hole(0);
else if (version == '12.0(19)ST3')
security_hole(0);
else if (version == '12.0(19)ST2')
security_hole(0);
else if (version == '12.0(19)ST1')
security_hole(0);
else if (version == '12.0(19)ST')
security_hole(0);
else if (version == '12.0(18)ST1')
security_hole(0);
else if (version == '12.0(18)ST')
security_hole(0);
else if (version == '12.0(17)ST8')
security_hole(0);
else if (version == '12.0(17)ST7')
security_hole(0);
else if (version == '12.0(17)ST6')
security_hole(0);
else if (version == '12.0(17)ST5')
security_hole(0);
else if (version == '12.0(17)ST4')
security_hole(0);
else if (version == '12.0(17)ST3')
security_hole(0);
else if (version == '12.0(17)ST2')
security_hole(0);
else if (version == '12.0(17)ST1')
security_hole(0);
else if (version == '12.0(17)ST')
security_hole(0);
else if (version == '12.0(16)ST1')
security_hole(0);
else if (version == '12.0(16)ST')
security_hole(0);
else if (version == '12.0(14)ST3')
security_hole(0);
else if (version == '12.0(14)ST2')
security_hole(0);
else if (version == '12.0(14)ST1')
security_hole(0);
else if (version == '12.0(14)ST')
security_hole(0);
else if (version == '12.0(11)ST4')
security_hole(0);
else if (version == '12.0(11)ST3')
security_hole(0);
else if (version == '12.0(11)ST2')
security_hole(0);
else if (version == '12.0(11)ST1')
security_hole(0);
else if (version == '12.0(11)ST')
security_hole(0);
else if (version == '12.0(10)ST2')
security_hole(0);
else if (version == '12.0(10)ST1')
security_hole(0);
else if (version == '12.0(10)ST')
security_hole(0);
else if (version == '12.0(9)ST')
security_hole(0);
else if (version == '12.0(21)SP4')
security_hole(0);
else if (version == '12.0(21)SP3')
security_hole(0);
else if (version == '12.0(21)SP2')
security_hole(0);
else if (version == '12.0(21)SP1')
security_hole(0);
else if (version == '12.0(21)SP')
security_hole(0);
else if (version == '12.0(20)SP2')
security_hole(0);
else if (version == '12.0(20)SP1')
security_hole(0);
else if (version == '12.0(20)SP')
security_hole(0);
else if (version == '12.0(19)SP')
security_hole(0);
else if (version == '12.0(19)SL4')
security_hole(0);
else if (version == '12.0(19)SL3')
security_hole(0);
else if (version == '12.0(19)SL2')
security_hole(0);
else if (version == '12.0(19)SL1')
security_hole(0);
else if (version == '12.0(19)SL')
security_hole(0);
else if (version == '12.0(17)SL8')
security_hole(0);
else if (version == '12.0(17)SL6')
security_hole(0);
else if (version == '12.0(17)SL5')
security_hole(0);
else if (version == '12.0(17)SL4')
security_hole(0);
else if (version == '12.0(17)SL3')
security_hole(0);
else if (version == '12.0(17)SL2')
security_hole(0);
else if (version == '12.0(17)SL1')
security_hole(0);
else if (version == '12.0(17)SL')
security_hole(0);
else if (version == '12.0(15)SL')
security_hole(0);
else if (version == '12.0(14)SL1')
security_hole(0);
else if (version == '12.0(14)SL')
security_hole(0);
else if (version == '12.0(11)SL1')
security_hole(0);
else if (version == '12.0(11)SL')
security_hole(0);
else if (version == '12.0(10)SL')
security_hole(0);
else if (version == '12.0(9)SL2')
security_hole(0);
else if (version == '12.0(9)SL1')
security_hole(0);
else if (version == '12.0(9)SL')
security_hole(0);
else if (version == '12.0(16)SC3')
security_hole(0);
else if (version == '12.0(16)SC2')
security_hole(0);
else if (version == '12.0(16)SC1')
security_hole(0);
else if (version == '12.0(16)SC')
security_hole(0);
else if (version == '12.0(15)SC1')
security_hole(0);
else if (version == '12.0(15)SC')
security_hole(0);
else if (version == '12.0(14)SC')
security_hole(0);
else if (version == '12.0(13)SC')
security_hole(0);
else if (version == '12.0(12)SC')
security_hole(0);
else if (version == '12.0(11)SC')
security_hole(0);
else if (version == '12.0(10)SC1')
security_hole(0);
else if (version == '12.0(10)SC')
security_hole(0);
else if (version == '12.0(9)SC')
security_hole(0);
else if (version == '12.0(8)SC1')
security_hole(0);
else if (version == '12.0(8)SC')
security_hole(0);
else if (version == '12.0(7)SC')
security_hole(0);
else if (version == '12.0(6)SC')
security_hole(0);
else if (version == '12.0(32)S3d')
security_hole(0);
else if (version == '12.0(32)S3')
security_hole(0);
else if (version == '12.0(32)S2')
security_hole(0);
else if (version == '12.0(32)S1')
security_hole(0);
else if (version == '12.0(32)S')
security_hole(0);
else if (version == '12.0(31)S5')
security_hole(0);
else if (version == '12.0(31)S4')
security_hole(0);
else if (version == '12.0(31)S3')
security_hole(0);
else if (version == '12.0(31)S2')
security_hole(0);
else if (version == '12.0(31)S1')
security_hole(0);
else if (version == '12.0(31)S')
security_hole(0);
else if (version == '12.0(30)S5')
security_hole(0);
else if (version == '12.0(30)S4')
security_hole(0);
else if (version == '12.0(30)S3')
security_hole(0);
else if (version == '12.0(30)S2')
security_hole(0);
else if (version == '12.0(30)S1')
security_hole(0);
else if (version == '12.0(30)S')
security_hole(0);
else if (version == '12.0(29)S1')
security_hole(0);
else if (version == '12.0(29)S')
security_hole(0);
else if (version == '12.0(28)S6')
security_hole(0);
else if (version == '12.0(28)S5')
security_hole(0);
else if (version == '12.0(28)S4')
security_hole(0);
else if (version == '12.0(28)S3')
security_hole(0);
else if (version == '12.0(28)S2')
security_hole(0);
else if (version == '12.0(28)S1')
security_hole(0);
else if (version == '12.0(28)S')
security_hole(0);
else if (version == '12.0(27)S5')
security_hole(0);
else if (version == '12.0(27)S4')
security_hole(0);
else if (version == '12.0(27)S3')
security_hole(0);
else if (version == '12.0(27)S2a')
security_hole(0);
else if (version == '12.0(27)S2')
security_hole(0);
else if (version == '12.0(27)S1')
security_hole(0);
else if (version == '12.0(27)S')
security_hole(0);
else if (version == '12.0(26)S6')
security_hole(0);
else if (version == '12.0(26)S5')
security_hole(0);
else if (version == '12.0(26)S4')
security_hole(0);
else if (version == '12.0(26)S3')
security_hole(0);
else if (version == '12.0(26)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");