Voice Vulnerabilities in Cisco IOS and Cisco Unified Communications Manager - Cisco Systems

#TRUSTED 09c5439e1879b1ff4d9c9c2a202e7866c2b334cc8b40da342c9b3baeb6cc224532e9f4f42c15582facde860663e1f9f41d2796382dc18f35e70422d268ab7b8e8771cff7ae4b0bade1d5e158aa5a8e6aa43e943fc4bd98f40ca21d7ba6f0132c85555911f9fc2741fc765f95044615fdf76cc691d0d7ff32d7dc8ad933dbc33002bb05711418d9f1f03fff3447b3fa1afcde98199bab9984af2b7236ff33b8264f80e64d75a4abb87093881d9570cfe7605c1a6eb74216cf69acf46d588e5dbd004b1b9c57a5d70205f35794beb749bb4a4f3ff00611280f1d73015274a61e2f46db269428e5d156a6c609fad06dec5b4736e340b498fef7cab3a41024d9e89778e12a5f4c97274699fa91c9c7bbd43a44414090143bf88b64da191e99174b4f92bc4eb12f3069da7c4b5911fd86b4cf2db722bb8bd825397d05c04430409bca6c8732768788c1bb2782fcbf58ea34f018085795062359c574c04a4351dfcfb89073c688716fd4f20d1fca5babbe20a15db93c854dae04a99ed02f364c86084c060f854a2ee9535f875fc2b411e6b4fd679c5a5305194e99cc5bf3caafcea779f893b08a8c1442ed638fe5a8a2f60ca374c51cd672735110186e36bf18b46f0c7701df5b2bcde3fb1ec720fab6872f3ab4f04956b7904307f8b3f7cc262799a762aa9082a19ab16aa9b34ec00f28f2cc081f14bbf1c7e299a57dbe4d622edd50
#
# (C) Tenable Network Security, Inc.
#
# Security advisory is (C) CISCO, Inc.
# See https://www.cisco.com/en/US/products/products_security_advisory09186a0080899653.shtml

if (NASL_LEVEL < 3000) exit(0);

include("compat.inc");

if (description)
{
 script_id(49007);
 script_version("1.21");
 script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15");
 script_cve_id(
   "CVE-2007-4291",
   "CVE-2007-4292",
   "CVE-2007-4293",
   "CVE-2007-4294",
   "CVE-2007-4295"
 );
 script_bugtraq_id(25239);
 script_xref(name:"CISCO-BUG-ID", value:"CSCeb21064");
 script_xref(name:"CISCO-BUG-ID", value:"CSCej20505");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsb24007");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsc60249");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsd81407");
 script_xref(name:"CISCO-BUG-ID", value:"CSCse05642");
 script_xref(name:"CISCO-BUG-ID", value:"CSCse40276");
 script_xref(name:"CISCO-BUG-ID", value:"CSCse68138");
 script_xref(name:"CISCO-BUG-ID", value:"CSCse68355");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsf08998");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsf11855");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsf30058");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsg70474");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsi60004");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsi80102");
 script_xref(name:"CISCO-BUG-ID", value:"CSCsi80749");
 script_xref(name:"CISCO-SA", value:"cisco-sa-20070808-IOS-voice");
 script_name(english:"Voice Vulnerabilities in Cisco IOS and Cisco Unified Communications Manager - Cisco Systems");
 script_summary(english:"Checks the IOS version.");
 script_set_attribute(attribute:"synopsis", value:"The remote device is missing a vendor-supplied security patch.");
 script_set_attribute(attribute:"description", value:
'Multiple voice-related vulnerabilities are identified in Cisco IOS
software, one of which is also shared with Cisco Unified Communications
Manager. These vulnerabilities pertain to the following protocols or
features:

  - Session Initiation Protocol (SIP)
  - Media Gateway Control Protocol (MGCP)
  - Signaling protocols H.323, H.254
  - Real-time Transport Protocol (RTP)
  - Facsimile reception

There are no workarounds available to mitigate the effects of any of
the vulnerabilities apart from disabling the protocol or feature
itself.'
 );
 script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?f1011799");
 # https://www.cisco.com/en/US/products/products_security_advisory09186a0080899653.shtml
 script_set_attribute(attribute:"see_also", value: "http://www.nessus.org/u?90290b27");
 script_set_attribute(attribute:"solution", value:
"Apply the relevant patch referenced in Cisco Security Advisory
cisco-sa-20070808-IOS-voice.");
 script_set_cvss_base_vector("CVSS2#AV:N/AC:M/Au:N/C:C/I:C/A:C");
 script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
 script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
 script_set_attribute(attribute:"exploit_available", value:"false");
 script_set_attribute(attribute:"plugin_type", value:"combined");
 script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios");

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

 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("cisco_func.inc");
include("cisco_kb_cmd_func.inc");

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

if (version == '12.4(11)XW2') flag++;
else if (version == '12.4(11)XW1') flag++;
else if (version == '12.4(11)XW') flag++;
else if (version == '12.4(11)XV') flag++;
else if (version == '12.4(6)XT') flag++;
else if (version == '12.4(6)XP') flag++;
else if (version == '12.4(14)XK') flag++;
else if (version == '12.4(11)XJ3') flag++;
else if (version == '12.4(11)XJ2') flag++;
else if (version == '12.4(11)XJ') flag++;
else if (version == '12.4(6)XE2') flag++;
else if (version == '12.4(6)XE1') flag++;
else if (version == '12.4(6)XE') flag++;
else if (version == '12.4(4)XD7') flag++;
else if (version == '12.4(4)XD5') flag++;
else if (version == '12.4(4)XD4') flag++;
else if (version == '12.4(4)XD2') flag++;
else if (version == '12.4(4)XD1') flag++;
else if (version == '12.4(4)XD') flag++;
else if (version == '12.4(4)XC6') flag++;
else if (version == '12.4(4)XC5') flag++;
else if (version == '12.4(4)XC4') flag++;
else if (version == '12.4(4)XC3') flag++;
else if (version == '12.4(4)XC2') flag++;
else if (version == '12.4(4)XC1') flag++;
else if (version == '12.4(4)XC') flag++;
else if (version == '12.4(2)XB5') flag++;
else if (version == '12.4(2)XB4') flag++;
else if (version == '12.4(2)XB3') flag++;
else if (version == '12.4(2)XB2') flag++;
else if (version == '12.4(2)XB1') flag++;
else if (version == '12.4(2)XB') flag++;
else if (version == '12.4(2)XA2') flag++;
else if (version == '12.4(2)XA1') flag++;
else if (version == '12.4(2)XA') flag++;
else if (version == '12.4(11)T2') flag++;
else if (version == '12.4(11)T1') flag++;
else if (version == '12.4(11)T') flag++;
else if (version == '12.4(9)T4') flag++;
else if (version == '12.4(9)T3') flag++;
else if (version == '12.4(9)T2') flag++;
else if (version == '12.4(9)T1') flag++;
else if (version == '12.4(9)T') flag++;
else if (version == '12.4(6)T7') flag++;
else if (version == '12.4(6)T6') flag++;
else if (version == '12.4(6)T5') flag++;
else if (version == '12.4(6)T4') flag++;
else if (version == '12.4(6)T3') flag++;
else if (version == '12.4(6)T2') flag++;
else if (version == '12.4(6)T1') flag++;
else if (version == '12.4(6)T') flag++;
else if (version == '12.4(4)T7') flag++;
else if (version == '12.4(4)T6') flag++;
else if (version == '12.4(4)T5') flag++;
else if (version == '12.4(4)T4') flag++;
else if (version == '12.4(4)T3') flag++;
else if (version == '12.4(4)T2') flag++;
else if (version == '12.4(4)T1') flag++;
else if (version == '12.4(4)T') flag++;
else if (version == '12.4(2)T5') flag++;
else if (version == '12.4(2)T4') flag++;
else if (version == '12.4(2)T3') flag++;
else if (version == '12.4(2)T2') flag++;
else if (version == '12.4(2)T1') flag++;
else if (version == '12.4(2)T') flag++;
else if (version == '12.4(12)MR1') flag++;
else if (version == '12.4(12)MR') flag++;
else if (version == '12.4(11)MR') flag++;
else if (version == '12.4(9)MR') flag++;
else if (version == '12.4(6)MR1') flag++;
else if (version == '12.4(6)MR') flag++;
else if (version == '12.4(4)MR1') flag++;
else if (version == '12.4(4)MR') flag++;
else if (version == '12.4(2)MR1') flag++;
else if (version == '12.4(2)MR') flag++;
else if (version == '12.4(13c)') flag++;
else if (version == '12.4(13b)') flag++;
else if (version == '12.4(13a)') flag++;
else if (version == '12.4(13)') flag++;
else if (version == '12.4(12b)') flag++;
else if (version == '12.4(12a)') flag++;
else if (version == '12.4(12)') flag++;
else if (version == '12.4(10b)') flag++;
else if (version == '12.4(10a)') flag++;
else if (version == '12.4(10)') flag++;
else if (version == '12.4(8c)') flag++;
else if (version == '12.4(8b)') flag++;
else if (version == '12.4(8a)') flag++;
else if (version == '12.4(8)') flag++;
else if (version == '12.4(7e)') flag++;
else if (version == '12.4(7d)') flag++;
else if (version == '12.4(7c)') flag++;
else if (version == '12.4(7b)') flag++;
else if (version == '12.4(7a)') flag++;
else if (version == '12.4(7)') flag++;
else if (version == '12.4(5b)') flag++;
else if (version == '12.4(5a)') flag++;
else if (version == '12.4(5)') flag++;
else if (version == '12.4(3g)') flag++;
else if (version == '12.4(3f)') flag++;
else if (version == '12.4(3e)') flag++;
else if (version == '12.4(3d)') flag++;
else if (version == '12.4(3c)') flag++;
else if (version == '12.4(3b)') flag++;
else if (version == '12.4(3a)') flag++;
else if (version == '12.4(3)') flag++;
else if (version == '12.4(1c)') flag++;
else if (version == '12.4(1b)') flag++;
else if (version == '12.4(1a)') flag++;
else if (version == '12.4(1)') flag++;
else if (version == '12.3(8)ZA') flag++;
else if (version == '12.3(11)YZ1') flag++;
else if (version == '12.3(11)YZ') flag++;
else if (version == '12.3(14)YX8') flag++;
else if (version == '12.3(14)YX7') flag++;
else if (version == '12.3(14)YX4') flag++;
else if (version == '12.3(14)YX3') flag++;
else if (version == '12.3(14)YX2') flag++;
else if (version == '12.3(14)YX1') flag++;
else if (version == '12.3(14)YX') flag++;
else if (version == '12.3(14)YU1') flag++;
else if (version == '12.3(14)YU') flag++;
else if (version == '12.3(14)YT1') flag++;
else if (version == '12.3(14)YT') flag++;
else if (version == '12.3(11)YS1') flag++;
else if (version == '12.3(11)YS') flag++;
else if (version == '12.3(14)YQ8') flag++;
else if (version == '12.3(14)YQ7') flag++;
else if (version == '12.3(14)YQ6') flag++;
else if (version == '12.3(14)YQ5') flag++;
else if (version == '12.3(14)YQ4') flag++;
else if (version == '12.3(14)YQ3') flag++;
else if (version == '12.3(14)YQ2') flag++;
else if (version == '12.3(14)YQ1') flag++;
else if (version == '12.3(14)YQ') flag++;
else if (version == '12.3(14)YM9') flag++;
else if (version == '12.3(14)YM8') flag++;
else if (version == '12.3(14)YM7') flag++;
else if (version == '12.3(14)YM6') flag++;
else if (version == '12.3(14)YM5') flag++;
else if (version == '12.3(14)YM4') flag++;
else if (version == '12.3(14)YM3') flag++;
else if (version == '12.3(14)YM2') flag++;
else if (version == '12.3(14)YM10') flag++;
else if (version == '12.3(11)YK2') flag++;
else if (version == '12.3(11)YK1') flag++;
else if (version == '12.3(11)YK') flag++;
else if (version == '12.3(8)YI3') flag++;
else if (version == '12.3(8)YI2') flag++;
else if (version == '12.3(8)YI1') flag++;
else if (version == '12.3(8)YH') flag++;
else if (version == '12.3(8)YG5') flag++;
else if (version == '12.3(8)YG4') flag++;
else if (version == '12.3(8)YG3') flag++;
else if (version == '12.3(8)YG2') flag++;
else if (version == '12.3(8)YG1') flag++;
else if (version == '12.3(8)YG') flag++;
else if (version == '12.3(11)YF4') flag++;
else if (version == '12.3(11)YF3') flag++;
else if (version == '12.3(11)YF2') flag++;
else if (version == '12.3(11)YF1') flag++;
else if (version == '12.3(11)YF') flag++;
else if (version == '12.3(8)YD1') flag++;
else if (version == '12.3(8)YD') flag++;
else if (version == '12.3(8)YA1') flag++;
else if (version == '12.3(8)YA') flag++;
else if (version == '12.3(2)XZ2') flag++;
else if (version == '12.3(2)XZ1') flag++;
else if (version == '12.3(2)XZ') flag++;
else if (version == '12.3(8)XY7') flag++;
else if (version == '12.3(8)XY6') flag++;
else if (version == '12.3(8)XY5') flag++;
else if (version == '12.3(8)XY4') flag++;
else if (version == '12.3(8)XY3') flag++;
else if (version == '12.3(8)XY2') flag++;
else if (version == '12.3(8)XY1') flag++;
else if (version == '12.3(8)XY') flag++;
else if (version == '12.3(8)XX2d') flag++;
else if (version == '12.3(8)XX1') flag++;
else if (version == '12.3(8)XX') flag++;
else if (version == '12.3(8)XW3') flag++;
else if (version == '12.3(8)XW2') flag++;
else if (version == '12.3(8)XW1') flag++;
else if (version == '12.3(8)XW') flag++;
else if (version == '12.3(8)XU5') flag++;
else if (version == '12.3(8)XU4') flag++;
else if (version == '12.3(8)XU3') flag++;
else if (version == '12.3(8)XU2') flag++;
else if (version == '12.3(7)XS2') flag++;
else if (version == '12.3(7)XS1') flag++;
else if (version == '12.3(7)XS') flag++;
else if (version == '12.3(7)XR6') flag++;
else if (version == '12.3(7)XR5') flag++;
else if (version == '12.3(7)XR4') flag++;
else if (version == '12.3(7)XR3') flag++;
else if (version == '12.3(7)XR2') flag++;
else if (version == '12.3(7)XR') flag++;
else if (version == '12.3(4)XQ1') flag++;
else if (version == '12.3(4)XQ') flag++;
else if (version == '12.3(11)XL1') flag++;
else if (version == '12.3(11)XL') flag++;
else if (version == '12.3(4)XK4') flag++;
else if (version == '12.3(4)XK3') flag++;
else if (version == '12.3(4)XK2') flag++;
else if (version == '12.3(4)XK1') flag++;
else if (version == '12.3(4)XK') flag++;
else if (version == '12.3(7)XJ2') flag++;
else if (version == '12.3(7)XJ1') flag++;
else if (version == '12.3(7)XJ') flag++;
else if (version == '12.3(7)XI8') flag++;
else if (version == '12.3(7)XI7b') flag++;
else if (version == '12.3(7)XI7a') flag++;
else if (version == '12.3(7)XI7') flag++;
else if (version == '12.3(7)XI6') flag++;
else if (version == '12.3(7)XI5') flag++;
else if (version == '12.3(7)XI4') flag++;
else if (version == '12.3(7)XI3') flag++;
else if (version == '12.3(7)XI2') flag++;
else if (version == '12.3(7)XI1') flag++;
else if (version == '12.3(4)XG5') flag++;
else if (version == '12.3(4)XG4') flag++;
else if (version == '12.3(4)XG3') flag++;
else if (version == '12.3(4)XG2') flag++;
else if (version == '12.3(4)XG1') flag++;
else if (version == '12.3(4)XG') flag++;
else if (version == '12.3(2)XF') flag++;
else if (version == '12.3(2)XE4') flag++;
else if (version == '12.3(2)XE3') flag++;
else if (version == '12.3(2)XE2') flag++;
else if (version == '12.3(2)XE1') flag++;
else if (version == '12.3(2)XE') flag++;
else if (version == '12.3(4)XD4') flag++;
else if (version == '12.3(4)XD3') flag++;
else if (version == '12.3(4)XD2') flag++;
else if (version == '12.3(4)XD1') flag++;
else if (version == '12.3(4)XD') flag++;
else if (version == '12.3(2)XC4') flag++;
else if (version == '12.3(2)XC3') flag++;
else if (version == '12.3(2)XC2') flag++;
else if (version == '12.3(2)XC1') flag++;
else if (version == '12.3(2)XC') flag++;
else if (version == '12.3(2)XB3') flag++;
else if (version == '12.3(2)XB1') flag++;
else if (version == '12.3(2)XB') flag++;
else if (version == '12.3(2)XA5') flag++;
else if (version == '12.3(2)XA4') flag++;
else if (version == '12.3(2)XA3') flag++;
else if (version == '12.3(2)XA2') flag++;
else if (version == '12.3(2)XA1') flag++;
else if (version == '12.3(2)XA') flag++;
else if (version == '12.3(4)TPC11a') flag++;
else if (version == '12.3(14)T7') flag++;
else if (version == '12.3(14)T6') flag++;
else if (version == '12.3(14)T5') flag++;
else if (version == '12.3(14)T3') flag++;
else if (version == '12.3(14)T2') flag++;
else if (version == '12.3(14)T1') flag++;
else if (version == '12.3(14)T') flag++;
else if (version == '12.3(11)T9') flag++;
else if (version == '12.3(11)T8') flag++;
else if (version == '12.3(11)T7') flag++;
else if (version == '12.3(11)T6') flag++;
else if (version == '12.3(11)T5') flag++;
else if (version == '12.3(11)T4') flag++;
else if (version == '12.3(11)T3') flag++;
else if (version == '12.3(11)T2') flag++;
else if (version == '12.3(11)T11') flag++;
else if (version == '12.3(11)T10') flag++;
else if (version == '12.3(11)T') flag++;
else if (version == '12.3(8)T9') flag++;
else if (version == '12.3(8)T8') flag++;
else if (version == '12.3(8)T7') flag++;
else if (version == '12.3(8)T6') flag++;
else if (version == '12.3(8)T5') flag++;
else if (version == '12.3(8)T4') flag++;
else if (version == '12.3(8)T3') flag++;
else if (version == '12.3(8)T11') flag++;
else if (version == '12.3(8)T10') flag++;
else if (version == '12.3(8)T1') flag++;
else if (version == '12.3(8)T') flag++;
else if (version == '12.3(7)T9') flag++;
else if (version == '12.3(7)T8') flag++;
else if (version == '12.3(7)T7') flag++;
else if (version == '12.3(7)T6') flag++;
else if (version == '12.3(7)T4') flag++;
else if (version == '12.3(7)T3') flag++;
else if (version == '12.3(7)T2') flag++;
else if (version == '12.3(7)T12') flag++;
else if (version == '12.3(7)T11') flag++;
else if (version == '12.3(7)T10') flag++;
else if (version == '12.3(7)T1') flag++;
else if (version == '12.3(7)T') flag++;
else if (version == '12.3(4)T9') flag++;
else if (version == '12.3(4)T8') flag++;
else if (version == '12.3(4)T7') flag++;
else if (version == '12.3(4)T6') flag++;
else if (version == '12.3(4)T4') flag++;
else if (version == '12.3(4)T3') flag++;
else if (version == '12.3(4)T2a') flag++;
else if (version == '12.3(4)T2') flag++;
else if (version == '12.3(4)T13') flag++;
else if (version == '12.3(4)T11') flag++;
else if (version == '12.3(4)T10') flag++;
else if (version == '12.3(4)T1') flag++;
else if (version == '12.3(4)T') flag++;
else if (version == '12.3(2)T9') flag++;
else if (version == '12.3(2)T8') flag++;
else if (version == '12.3(2)T7') flag++;
else if (version == '12.3(2)T6') flag++;
else if (version == '12.3(2)T5') flag++;
else if (version == '12.3(2)T4') flag++;
else if (version == '12.3(2)T3') flag++;
else if (version == '12.3(2)T2') flag++;
else if (version == '12.3(2)T1') flag++;
else if (version == '12.3(2)T') flag++;
else if (version == '12.3(5a)B5') flag++;
else if (version == '12.3(5a)B4') flag++;
else if (version == '12.3(5a)B3') flag++;
else if (version == '12.3(5a)B2') flag++;
else if (version == '12.3(5a)B1') flag++;
else if (version == '12.3(5a)B') flag++;
else if (version == '12.3(3)B1') flag++;
else if (version == '12.3(3)B') flag++;
else if (version == '12.3(1a)B') flag++;
else if (version == '12.3(22)') flag++;
else if (version == '12.3(21)') flag++;
else if (version == '12.3(20)') flag++;
else if (version == '12.3(19)') flag++;
else if (version == '12.3(18)') flag++;
else if (version == '12.3(17b)') flag++;
else if (version == '12.3(17a)') flag++;
else if (version == '12.3(17)') flag++;
else if (version == '12.3(16a)') flag++;
else if (version == '12.3(16)') flag++;
else if (version == '12.3(15b)') flag++;
else if (version == '12.3(15a)') flag++;
else if (version == '12.3(15)') flag++;
else if (version == '12.3(13b)') flag++;
else if (version == '12.3(13a)') flag++;
else if (version == '12.3(13)') flag++;
else if (version == '12.3(12e)') flag++;
else if (version == '12.3(12d)') flag++;
else if (version == '12.3(12c)') flag++;
else if (version == '12.3(12b)') flag++;
else if (version == '12.3(12a)') flag++;
else if (version == '12.3(12)') flag++;
else if (version == '12.3(10f)') flag++;
else if (version == '12.3(10e)') flag++;
else if (version == '12.3(10d)') flag++;
else if (version == '12.3(10c)') flag++;
else if (version == '12.3(10b)') flag++;
else if (version == '12.3(10a)') flag++;
else if (version == '12.3(10)') flag++;
else if (version == '12.3(9e)') flag++;
else if (version == '12.3(9d)') flag++;
else if (version == '12.3(9c)') flag++;
else if (version == '12.3(9b)') flag++;
else if (version == '12.3(9a)') flag++;
else if (version == '12.3(9)') flag++;
else if (version == '12.3(6f)') flag++;
else if (version == '12.3(6e)') flag++;
else if (version == '12.3(6c)') flag++;
else if (version == '12.3(6b)') flag++;
else if (version == '12.3(6a)') flag++;
else if (version == '12.3(6)') flag++;
else if (version == '12.3(5f)') flag++;
else if (version == '12.3(5e)') flag++;
else if (version == '12.3(5d)') flag++;
else if (version == '12.3(5c)') flag++;
else if (version == '12.3(5b)') flag++;
else if (version == '12.3(5a)') flag++;
else if (version == '12.3(5)') flag++;
else if (version == '12.3(3i)') flag++;
else if (version == '12.3(3h)') flag++;
else if (version == '12.3(3g)') flag++;
else if (version == '12.3(3f)') flag++;
else if (version == '12.3(3e)') flag++;
else if (version == '12.3(3c)') flag++;
else if (version == '12.3(3b)') flag++;
else if (version == '12.3(3a)') flag++;
else if (version == '12.3(3)') flag++;
else if (version == '12.3(1a)') flag++;
else if (version == '12.3(1)') flag++;
else if (version == '12.2(18)ZY') flag++;
else if (version == '12.2(18)ZU2') flag++;
else if (version == '12.2(18)ZU1') flag++;
else if (version == '12.2(18)ZU') flag++;
else if (version == '12.2(13)ZP4') flag++;
else if (version == '12.2(13)ZP3') flag++;
else if (version == '12.2(13)ZP2') flag++;
else if (version == '12.2(13)ZP1') flag++;
else if (version == '12.2(13)ZP') flag++;
else if (version == '12.2(15)ZL1') flag++;
else if (version == '12.2(15)ZL') flag++;
else if (version == '12.2(15)ZJ5') flag++;
else if (version == '12.2(15)ZJ3') flag++;
else if (version == '12.2(15)ZJ2') flag++;
else if (version == '12.2(15)ZJ1') flag++;
else if (version == '12.2(15)ZJ') flag++;
else if (version == '12.2(13)ZH8') flag++;
else if (version == '12.2(13)ZH7') flag++;
else if (version == '12.2(13)ZH6') flag++;
else if (version == '12.2(13)ZH5') flag++;
else if (version == '12.2(13)ZH4') flag++;
else if (version == '12.2(13)ZH3') flag++;
else if (version == '12.2(13)ZH2') flag++;
else if (version == '12.2(13)ZH1') flag++;
else if (version == '12.2(13)ZH') flag++;
else if (version == '12.2(13)ZG') flag++;
else if (version == '12.2(13)ZF2') flag++;
else if (version == '12.2(13)ZF1') flag++;
else if (version == '12.2(13)ZF') flag++;
else if (version == '12.2(13)ZE') flag++;
else if (version == '12.2(13)ZD4') flag++;
else if (version == '12.2(13)ZD3') flag++;
else if (version == '12.2(13)ZD2') flag++;
else if (version == '12.2(13)ZD1') flag++;
else if (version == '12.2(13)ZD') flag++;
else if (version == '12.2(13)ZC') flag++;
else if (version == '12.2(11)ZC') flag++;
else if (version == '12.2(8)ZB8') flag++;
else if (version == '12.2(8)ZB7') flag++;
else if (version == '12.2(8)ZB6') flag++;
else if (version == '12.2(8)ZB5') flag++;
else if (version == '12.2(8)ZB4a') flag++;
else if (version == '12.2(8)ZB4') flag++;
else if (version == '12.2(8)ZB3') flag++;
else if (version == '12.2(8)ZB2') flag++;
else if (version == '12.2(8)ZB1') flag++;
else if (version == '12.2(11)YZ2') flag++;
else if (version == '12.2(11)YZ1') flag++;
else if (version == '12.2(11)YZ') flag++;
else if (version == '12.2(8)YY4') flag++;
else if (version == '12.2(8)YY3') flag++;
else if (version == '12.2(8)YY2') flag++;
else if (version == '12.2(8)YY1') flag++;
else if (version == '12.2(8)YY') flag++;
else if (version == '12.2(11)YX1') flag++;
else if (version == '12.2(11)YX') flag++;
else if (version == '12.2(8)YW3') flag++;
else if (version == '12.2(8)YW2') flag++;
else if (version == '12.2(8)YW1') flag++;
else if (version == '12.2(8)YW') flag++;
else if (version == '12.2(11)YV1') flag++;
else if (version == '12.2(11)YV') flag++;
else if (version == '12.2(11)YU') flag++;
else if (version == '12.2(11)YT2') flag++;
else if (version == '12.2(11)YT1') flag++;
else if (version == '12.2(11)YT') flag++;
else if (version == '12.2(11)YR') flag++;
else if (version == '12.2(11)YQ') flag++;
else if (version == '12.2(8)YN1') flag++;
else if (version == '12.2(8)YN') flag++;
else if (version == '12.2(8)YM') flag++;
else if (version == '12.2(8)YL') flag++;
else if (version == '12.2(2)YK1') flag++;
else if (version == '12.2(2)YK') flag++;
else if (version == '12.2(8)YJ1') flag++;
else if (version == '12.2(8)YJ') flag++;
else if (version == '12.2(4)YH') flag++;
else if (version == '12.2(4)YG') flag++;
else if (version == '12.2(4)YF') flag++;
else if (version == '12.2(9)YE') flag++;
else if (version == '12.2(8)YD3') flag++;
else if (version == '12.2(8)YD2') flag++;
else if (version == '12.2(8)YD1') flag++;
else if (version == '12.2(8)YD') flag++;
else if (version == '12.2(2)YC4') flag++;
else if (version == '12.2(2)YC3') flag++;
else if (version == '12.2(2)YC2') flag++;
else if (version == '12.2(2)YC1') flag++;
else if (version == '12.2(2)YC') flag++;
else if (version == '12.2(4)YB') flag++;
else if (version == '12.2(4)YA9') flag++;
else if (version == '12.2(4)YA8') flag++;
else if (version == '12.2(4)YA7') flag++;
else if (version == '12.2(4)YA6') flag++;
else if (version == '12.2(4)YA5') flag++;
else if (version == '12.2(4)YA4') flag++;
else if (version == '12.2(4)YA3') flag++;
else if (version == '12.2(4)YA2') flag++;
else if (version == '12.2(4)YA12') flag++;
else if (version == '12.2(4)YA11') flag++;
else if (version == '12.2(4)YA10') flag++;
else if (version == '12.2(4)YA1') flag++;
else if (version == '12.2(4)YA') flag++;
else if (version == '12.2(4)XW') flag++;
else if (version == '12.2(4)XV5') flag++;
else if (version == '12.2(4)XV4a') flag++;
else if (version == '12.2(4)XV4') flag++;
else if (version == '12.2(4)XV3') flag++;
else if (version == '12.2(4)XV2') flag++;
else if (version == '12.2(4)XV1') flag++;
else if (version == '12.2(4)XV') flag++;
else if (version == '12.2(2)XU') flag++;
else if (version == '12.2(2)XT3') flag++;
else if (version == '12.2(2)XT2') flag++;
else if (version == '12.2(2)XT') flag++;
else if (version == '12.2(1)XS2') flag++;
else if (version == '12.2(1)XS1a') flag++;
else if (version == '12.2(1)XS1') flag++;
else if (version == '12.2(1)XS') flag++;
else if (version == '12.2(2)XQ1') flag++;
else if (version == '12.2(2)XQ') flag++;
else if (version == '12.2(33)XN1') flag++;
else if (version == '12.2(2)XN') flag++;
else if (version == '12.2(4)XM4') flag++;
else if (version == '12.2(4)XM3') flag++;
else if (version == '12.2(4)XM2') flag++;
else if (version == '12.2(4)XM1') flag++;
else if (version == '12.2(4)XM') flag++;
else if (version == '12.2(4)XL6') flag++;
else if (version == '12.2(4)XL5') flag++;
else if (version == '12.2(4)XL4') flag++;
else if (version == '12.2(4)XL3') flag++;
else if (version == '12.2(4)XL2') flag++;
else if (version == '12.2(4)XL1') flag++;
else if (version == '12.2(4)XL') flag++;
else if (version == '12.2(2)XK3') flag++;
else if (version == '12.2(2)XK2') flag++;
else if (version == '12.2(2)XK1') flag++;
else if (version == '12.2(2)XK') flag++;
else if (version == '12.2(2)XJ') flag++;
else if (version == '12.2(2)XI2') flag++;
else if (version == '12.2(2)XI1') flag++;
else if (version == '12.2(2)XI') flag++;
else if (version == '12.2(2)XH2') flag++;
else if (version == '12.2(2)XH1') flag++;
else if (version == '12.2(2)XH') flag++;
else if (version == '12.2(2)XG1') flag++;
else if (version == '12.2(2)XG') flag++;
else if (version == '12.2(1)XE2') flag++;
else if (version == '12.2(1)XE1') flag++;
else if (version == '12.2(1)XE') flag++;
else if (version == '12.2(1)XD4') flag++;
else if (version == '12.2(1)XD3') flag++;
else if (version == '12.2(1)XD2') flag++;
else if (version == '12.2(1)XD1') flag++;
else if (version == '12.2(1)XD') flag++;
else if (version == '12.2(2)XC2') flag++;
else if (version == '12.2(2)XC1') flag++;
else if (version == '12.2(2)XC') flag++;
else if (version == '12.2(1a)XC3') flag++;
else if (version == '12.2(1a)XC2') flag++;
else if (version == '12.2(1a)XC1') flag++;
else if (version == '12.2(1a)XC') flag++;
else if (version == '12.2(2)XB8') flag++;
else if (version == '12.2(2)XB7') flag++;
else if (version == '12.2(2)XB6') flag++;
else if (version == '12.2(2)XB5') flag++;
else if (version == '12.2(2)XB3') flag++;
else if (version == '12.2(2)XB2') flag++;
else if (version == '12.2(2)XB15') flag++;
else if (version == '12.2(2)XB14') flag++;
else if (version == '12.2(2)XB12') flag++;
else if (version == '12.2(2)XB11') flag++;
else if (version == '12.2(2)XB10') flag++;
else if (version == '12.2(2)XB1') flag++;
else if (version == '12.2(2)XA5') flag++;
else if (version == '12.2(2)XA4') flag++;
else if (version == '12.2(2)XA3') flag++;
else if (version == '12.2(2)XA2') flag++;
else if (version == '12.2(2)XA1') flag++;
else if (version == '12.2(2)XA') flag++;
else if (version == '12.2(8)TPC10b') flag++;
else if (version == '12.2(8)TPC10a') flag++;
else if (version == '12.2(15)T9') flag++;
else if (version == '12.2(15)T8') flag++;
else if (version == '12.2(15)T7') flag++;
else if (version == '12.2(15)T5') flag++;
else if (version == '12.2(15)T4e') flag++;
else if (version == '12.2(15)T4') flag++;
else if (version == '12.2(15)T2') flag++;
else if (version == '12.2(15)T16') flag++;
else if (version == '12.2(15)T15') flag++;
else if (version == '12.2(15)T14') flag++;
else if (version == '12.2(15)T13') flag++;
else if (version == '12.2(15)T12') flag++;
else if (version == '12.2(15)T11') flag++;
else if (version == '12.2(15)T10') flag++;
else if (version == '12.2(15)T1') flag++;
else if (version == '12.2(15)T') flag++;
else if (version == '12.2(13)T9') flag++;
else if (version == '12.2(13)T8') flag++;
else if (version == '12.2(13)T5') flag++;
else if (version == '12.2(13)T4') flag++;
else if (version == '12.2(13)T3') flag++;
else if (version == '12.2(13)T2') flag++;
else if (version == '12.2(13)T16') flag++;
else if (version == '12.2(13)T14') flag++;
else if (version == '12.2(13)T13') flag++;
else if (version == '12.2(13)T12') flag++;
else if (version == '12.2(13)T11') flag++;
else if (version == '12.2(13)T10') flag++;
else if (version == '12.2(13)T1a') flag++;
else if (version == '12.2(13)T1') flag++;
else if (version == '12.2(13)T') flag++;
else if (version == '12.2(11)T9') flag++;
else if (version == '12.2(11)T8') flag++;
else if (version == '12.2(11)T6') flag++;
else if (version == '12.2(11)T5') flag++;
else if (version == '12.2(11)T4') flag++;
else if (version == '12.2(11)T3') flag++;
else if (version == '12.2(11)T2') flag++;
else if (version == '12.2(11)T11') flag++;
else if (version == '12.2(11)T10') flag++;
else if (version == '12.2(11)T1') flag++;
else if (version == '12.2(11)T') flag++;
else if (version == '12.2(8)T8') flag++;
else if (version == '12.2(8)T7') flag++;
else if (version == '12.2(8)T5') flag++;
else if (version == '12.2(8)T4') flag++;
else if (version == '12.2(8)T3') flag++;
else if (version == '12.2(8)T2') flag++;
else if (version == '12.2(8)T10') flag++;
else if (version == '12.2(8)T1') flag++;
else if (version == '12.2(8)T') flag++;
else if (version == '12.2(4)T7') flag++;
else if (version == '12.2(4)T6') flag++;
else if (version == '12.2(4)T5') flag++;
else if (version == '12.2(4)T3') flag++;
else if (version == '12.2(4)T2') flag++;
else if (version == '12.2(4)T1') flag++;
else if (version == '12.2(4)T') flag++;
else if (version == '12.2(2)T4') flag++;
else if (version == '12.2(2)T3') flag++;
else if (version == '12.2(2)T2') flag++;
else if (version == '12.2(2)T1') flag++;
else if (version == '12.2(2)T') flag++;
else if (version == '12.2(14)SZ6') flag++;
else if (version == '12.2(14)SZ5') flag++;
else if (version == '12.2(14)SZ4') flag++;
else if (version == '12.2(14)SZ2') flag++;
else if (version == '12.2(14)SZ1') flag++;
else if (version == '12.2(14)SZ') flag++;
else if (version == '12.2(18)SXF9') flag++;
else if (version == '12.2(18)SXF8') flag++;
else if (version == '12.2(18)SXF7') flag++;
else if (version == '12.2(18)SXF6') flag++;
else if (version == '12.2(18)SXF5') flag++;
else if (version == '12.2(18)SXF4') flag++;
else if (version == '12.2(18)SXF3') flag++;
else if (version == '12.2(18)SXF2') flag++;
else if (version == '12.2(18)SXF1') flag++;
else if (version == '12.2(18)SXF') flag++;
else if (version == '12.2(18)SXE6b') flag++;
else if (version == '12.2(18)SXE6a') flag++;
else if (version == '12.2(18)SXE6') flag++;
else if (version == '12.2(18)SXE5') flag++;
else if (version == '12.2(18)SXE4') flag++;
else if (version == '12.2(18)SXE3') flag++;
else if (version == '12.2(18)SXE2') flag++;
else if (version == '12.2(18)SXE1') flag++;
else if (version == '12.2(18)SXE') flag++;
else if (version == '12.2(18)SXD7b') flag++;
else if (version == '12.2(18)SXD7a') flag++;
else if (version == '12.2(18)SXD7') flag++;
else if (version == '12.2(18)SXD6') flag++;
else if (version == '12.2(18)SXD5') flag++;
else if (version == '12.2(18)SXD4') flag++;
else if (version == '12.2(18)SXD3') flag++;
else if (version == '12.2(18)SXD2') flag++;
else if (version == '12.2(18)SXD1') flag++;
else if (version == '12.2(18)SXD') flag++;
else if (version == '12.2(17d)SXB9') flag++;
else if (version == '12.2(17d)SXB8') flag++;
else if (version == '12.2(17d)SXB7') flag++;
else if (version == '12.2(17d)SXB6') flag++;
else if (version == '12.2(17d)SXB5') flag++;
else if (version == '12.2(17d)SXB4') flag++;
else if (version == '12.2(17d)SXB3') flag++;
else if (version == '12.2(17d)SXB2') flag++;
else if (version == '12.2(17d)SXB11a') flag++;
else if (version == '12.2(17d)SXB11') flag++;
else if (version == '12.2(17d)SXB10') flag++;
else if (version == '12.2(17d)SXB1') flag++;
else if (version == '12.2(17d)SXB') flag++;
else if (version == '12.2(17b)SXA2') flag++;
else if (version == '12.2(17b)SXA') flag++;
else if (version == '12.2(17a)SX4') flag++;
else if (version == '12.2(17a)SX3') flag++;
else if (version == '12.2(17a)SX2') flag++;
else if (version == '12.2(17a)SX1') flag++;
else if (version == '12.2(17a)SX') flag++;
else if (version == '12.2(14)SX2') flag++;
else if (version == '12.2(14)SX1') flag++;
else if (version == '12.2(14)SX') flag++;
else if (version == '12.2(25)SW9') flag++;
else if (version == '12.2(25)SW8') flag++;
else if (version == '12.2(25)SW7') flag++;
else if (version == '12.2(25)SW6') flag++;
else if (version == '12.2(25)SW5') flag++;
else if (version == '12.2(25)SW4a') flag++;
else if (version == '12.2(25)SW4') flag++;
else if (version == '12.2(25)SW3a') flag++;
else if (version == '12.2(25)SW3') flag++;
else if (version == '12.2(25)SW2') flag++;
else if (version == '12.2(25)SW11') flag++;
else if (version == '12.2(25)SW1') flag++;
else if (version == '12.2(23)SW1') flag++;
else if (version == '12.2(23)SW') flag++;
else if (version == '12.2(29)SV3') flag++;
else if (version == '12.2(27)SV5') flag++;
else if (version == '12.2(25)SV2') flag++;
else if (version == '12.2(24)SV1') flag++;
else if (version == '12.2(23)SV1') flag++;
else if (version == '12.2(22)SV1') flag++;
else if (version == '12.2(18)SV3') flag++;
else if (version == '12.2(14)SU2') flag++;
else if (version == '12.2(14)SU1') flag++;
else if (version == '12.2(14)SU') flag++;
else if (version == '12.2(33)SRB1') flag++;
else if (version == '12.2(33)SRB') flag++;
else if (version == '12.2(33)SRA4') flag++;
else if (version == '12.2(33)SRA3') flag++;
else if (version == '12.2(33)SRA2') flag++;
else if (version == '12.2(33)SRA1') flag++;
else if (version == '12.2(33)SRA') flag++;
else if (version == '12.2(27)SBC5') flag++;
else if (version == '12.2(27)SBC4') flag++;
else if (version == '12.2(27)SBC3') flag++;
else if (version == '12.2(27)SBC2') flag++;
else if (version == '12.2(27)SBC1') flag++;
else if (version == '12.2(27)SBC') flag++;
else if (version == '12.2(31)SB5') flag++;
else if (version == '12.2(31)SB3x') flag++;
else if (version == '12.2(31)SB3') flag++;
else if (version == '12.2(31)SB2') flag++;
else if (version == '12.2(28)SB8') flag++;
else if (version == '12.2(28)SB7') flag++;
else if (version == '12.2(28)SB6') flag++;
else if (version == '12.2(28)SB5c') flag++;
else if (version == '12.2(28)SB5') flag++;
else if (version == '12.2(28)SB4d') flag++;
else if (version == '12.2(28)SB4') flag++;
else if (version == '12.2(28)SB3') flag++;
else if (version == '12.2(28)SB2') flag++;
else if (version == '12.2(28)SB') flag++;
else if (version == '12.2(25)S9') flag++;
else if (version == '12.2(25)S8') flag++;
else if (version == '12.2(25)S7') flag++;
else if (version == '12.2(25)S6') flag++;
else if (version == '12.2(25)S5') flag++;
else if (version == '12.2(25)S4') flag++;
else if (version == '12.2(25)S3') flag++;
else if (version == '12.2(25)S2') flag++;
else if (version == '12.2(25)S12') flag++;
else if (version == '12.2(25)S11') flag++;
else if (version == '12.2(25)S10') flag++;
else if (version == '12.2(25)S1') flag++;
else if (version == '12.2(25)S') flag++;
else if (version == '12.2(22)S2') flag++;
else if (version == '12.2(22)S1') flag++;
else if (version == '12.2(22)S') flag++;
else if (version == '12.2(20)S9') flag++;
else if (version == '12.2(20)S8') flag++;
else if (version == '12.2(20)S7') flag++;
else if (version == '12.2(20)S6') flag++;
else if (version == '12.2(20)S5') flag++;
else if (version == '12.2(20)S4') flag++;
else if (version == '12.2(20)S3') flag++;
else if (version == '12.2(20)S2') flag++;
else if (version == '12.2(20)S13') flag++;
else if (version == '12.2(20)S12') flag++;
else if (version == '12.2(20)S11') flag++;
else if (version == '12.2(20)S10') flag++;
else if (version == '12.2(20)S1') flag++;
else if (version == '12.2(20)S') flag++;
else if (version == '12.2(18)S9') flag++;
else if (version == '12.2(18)S8') flag++;
else if (version == '12.2(18)S7') flag++;
else if (version == '12.2(18)S6') flag++;
else if (version == '12.2(18)S5') flag++;
else if (version == '12.2(18)S4') flag++;
else if (version == '12.2(18)S3') flag++;
else if (version == '12.2(18)S2') flag++;
else if (version == '12.2(18)S12') flag++;
else if (version == '12.2(18)S11') flag++;
else if (version == '12.2(18)S10') flag++;
else if (version == '12.2(18)S1') flag++;
else if (version == '12.2(18)S') flag++;
else if (version == '12.2(14)S9') flag++;
else if (version == '12.2(14)S8') flag++;
else if (version == '12.2(14)S7') flag++;
else if (version == '12.2(14)S5') flag++;
else if (version == '12.2(14)S3') flag++;
else if (version == '12.2(14)S2') flag++;
else if (version == '12.2(14)S18') flag++;
else if (version == '12.2(14)S17') flag++;
else if (version == '12.2(14)S16') flag++;
else if (version == '12.2(14)S15') flag++;
else if (version == '12.2(14)S14') flag++;
else if (version == '12.2(14)S13') flag++;
else if (version == '12.2(14)S12') flag++;
else if (version == '12.2(14)S11') flag++;
else if (version == '12.2(14)S10') flag++;
else if (version == '12.2(14)S1') flag++;
else if (version == '12.2(14)S') flag++;
else if (version == '12.2(9)S') flag++;
else if (version == '12.2(15)MC2') flag++;
else if (version == '12.2(15)MC1c') flag++;
else if (version == '12.2(15)MC1b') flag++;
else if (version == '12.2(15)MC1a') flag++;
else if (version == '12.2(12h)M1') flag++;
else if (version == '12.2(12b)M1') flag++;
else if (version == '12.2(6c)M1') flag++;
else if (version == '12.2(1)M0') flag++;
else if (version == '12.2(18)IXD') flag++;
else if (version == '12.2(18)IXC') flag++;
else if (version == '12.2(18)IXB2') flag++;
else if (version == '12.2(18)IXB1') flag++;
else if (version == '12.2(18)IXB') flag++;
else if (version == '12.2(18)IXA') flag++;
else if (version == '12.2(2)DX3') flag++;
else if (version == '12.2(1)DX1') flag++;
else if (version == '12.2(1)DX') flag++;
else if (version == '12.2(2)DD4') flag++;
else if (version == '12.2(2)DD3') flag++;
else if (version == '12.2(2)DD2') flag++;
else if (version == '12.2(2)DD1') flag++;
else if (version == '12.2(2)DD') flag++;
else if (version == '12.2(15)CZ3') flag++;
else if (version == '12.2(15)CZ2') flag++;
else if (version == '12.2(15)CZ1') flag++;
else if (version == '12.2(15)CZ') flag++;
else if (version == '12.2(8)BY2') flag++;
else if (version == '12.2(8)BY1') flag++;
else if (version == '12.2(8)BY') flag++;
else if (version == '12.2(16)BX3') flag++;
else if (version == '12.2(16)BX2') flag++;
else if (version == '12.2(16)BX1') flag++;
else if (version == '12.2(16)BX') flag++;
else if (version == '12.2(4)BW2') flag++;
else if (version == '12.2(4)BW1a') flag++;
else if (version == '12.2(4)BW1') flag++;
else if (version == '12.2(4)BW') flag++;
else if (version == '12.2(16)B2') flag++;
else if (version == '12.2(16)B1') flag++;
else if (version == '12.2(16)B') flag++;
else if (version == '12.2(15)B') flag++;
else if (version == '12.2(4)B8') flag++;
else if (version == '12.2(4)B7') flag++;
else if (version == '12.2(4)B6') flag++;
else if (version == '12.2(4)B5') flag++;
else if (version == '12.2(4)B4') flag++;
else if (version == '12.2(4)B3') flag++;
else if (version == '12.2(4)B2') flag++;
else if (version == '12.2(4)B1') flag++;
else if (version == '12.2(4)B') flag++;
else if (version == '12.2(46)') flag++;
else if (version == '12.2(40a)') flag++;
else if (version == '12.2(40)') flag++;
else if (version == '12.2(37)') flag++;
else if (version == '12.2(34a)') flag++;
else if (version == '12.2(34)') flag++;
else if (version == '12.2(32)') flag++;
else if (version == '12.2(31)') flag++;
else if (version == '12.2(29a)') flag++;
else if (version == '12.2(29)') flag++;
else if (version == '12.2(28c)') flag++;
else if (version == '12.2(28b)') flag++;
else if (version == '12.2(28a)') flag++;
else if (version == '12.2(28)') flag++;
else if (version == '12.2(27b)') flag++;
else if (version == '12.2(27a)') flag++;
else if (version == '12.2(27)') flag++;
else if (version == '12.2(26b)') flag++;
else if (version == '12.2(26a)') flag++;
else if (version == '12.2(26)') flag++;
else if (version == '12.2(24b)') flag++;
else if (version == '12.2(24a)') flag++;
else if (version == '12.2(24)') flag++;
else if (version == '12.2(23f)') flag++;
else if (version == '12.2(23e)') flag++;
else if (version == '12.2(23d)') flag++;
else if (version == '12.2(23c)') flag++;
else if (version == '12.2(23a)') flag++;
else if (version == '12.2(23)') flag++;
else if (version == '12.2(21b)') flag++;
else if (version == '12.2(21a)') flag++;
else if (version == '12.2(21)') flag++;
else if (version == '12.2(19c)') flag++;
else if (version == '12.2(19b)') flag++;
else if (version == '12.2(19a)') flag++;
else if (version == '12.2(19)') flag++;
else if (version == '12.2(17f)') flag++;
else if (version == '12.2(17e)') flag++;
else if (version == '12.2(17d)') flag++;
else if (version == '12.2(17b)') flag++;
else if (version == '12.2(17a)') flag++;
else if (version == '12.2(17)') flag++;
else if (version == '12.2(16f)') flag++;
else if (version == '12.2(16c)') flag++;
else if (version == '12.2(16b)') flag++;
else if (version == '12.2(16a)') flag++;
else if (version == '12.2(16)') flag++;
else if (version == '12.2(13e)') flag++;
else if (version == '12.2(13c)') flag++;
else if (version == '12.2(13b)') flag++;
else if (version == '12.2(13a)') flag++;
else if (version == '12.2(13)') flag++;
else if (version == '12.2(12m)') flag++;
else if (version == '12.2(12l)') flag++;
else if (version == '12.2(12k)') flag++;
else if (version == '12.2(12j)') flag++;
else if (version == '12.2(12i)') flag++;
else if (version == '12.2(12h)') flag++;
else if (version == '12.2(12g)') flag++;
else if (version == '12.2(12f)') flag++;
else if (version == '12.2(12e)') flag++;
else if (version == '12.2(12c)') flag++;
else if (version == '12.2(12b)') flag++;
else if (version == '12.2(12a)') flag++;
else if (version == '12.2(12)') flag++;
else if (version == '12.2(10g)') flag++;
else if (version == '12.2(10d)') flag++;
else if (version == '12.2(10b)') flag++;
else if (version == '12.2(10a)') flag++;
else if (version == '12.2(10)') flag++;
else if (version == '12.2(7g)') flag++;
else if (version == '12.2(7e)') flag++;
else if (version == '12.2(7c)') flag++;
else if (version == '12.2(7b)') flag++;
else if (version == '12.2(7a)') flag++;
else if (version == '12.2(7)') flag++;
else if (version == '12.2(6j)') flag++;
else if (version == '12.2(6i)') flag++;
else if (version == '12.2(6h)') flag++;
else if (version == '12.2(6g)') flag++;
else if (version == '12.2(6f)') flag++;
else if (version == '12.2(6e)') flag++;
else if (version == '12.2(6d)') flag++;
else if (version == '12.2(6c)') flag++;
else if (version == '12.2(6b)') flag++;
else if (version == '12.2(6a)') flag++;
else if (version == '12.2(6)') flag++;
else if (version == '12.2(5d)') flag++;
else if (version == '12.2(5c)') flag++;
else if (version == '12.2(5b)') flag++;
else if (version == '12.2(5a)') flag++;
else if (version == '12.2(5)') flag++;
else if (version == '12.2(3g)') flag++;
else if (version == '12.2(3d)') flag++;
else if (version == '12.2(3c)') flag++;
else if (version == '12.2(3b)') flag++;
else if (version == '12.2(3a)') flag++;
else if (version == '12.2(3)') flag++;
else if (version == '12.2(1d)') flag++;
else if (version == '12.2(1c)') flag++;
else if (version == '12.2(1b)') flag++;
else if (version == '12.2(1a)') flag++;
else if (version == '12.2(1)') flag++;
else if (version == '12.1(5)YI2') flag++;
else if (version == '12.1(5)YI1') flag++;
else if (version == '12.1(5)YI') flag++;
else if (version == '12.1(5)YH4') flag++;
else if (version == '12.1(5)YH3') flag++;
else if (version == '12.1(5)YH2') flag++;
else if (version == '12.1(5)YH1') flag++;
else if (version == '12.1(5)YH') flag++;
else if (version == '12.1(5)YF4') flag++;
else if (version == '12.1(5)YF3') flag++;
else if (version == '12.1(5)YF2') flag++;
else if (version == '12.1(5)YF1') flag++;
else if (version == '12.1(5)YF') flag++;
else if (version == '12.1(5)YE5') flag++;
else if (version == '12.1(5)YE4') flag++;
else if (version == '12.1(5)YE3') flag++;
else if (version == '12.1(5)YE2') flag++;
else if (version == '12.1(5)YE1') flag++;
else if (version == '12.1(5)YD6') flag++;
else if (version == '12.1(5)YD5') flag++;
else if (version == '12.1(5)YD4') flag++;
else if (version == '12.1(5)YD3') flag++;
else if (version == '12.1(5)YD2') flag++;
else if (version == '12.1(5)YD1') flag++;
else if (version == '12.1(5)YD') flag++;
else if (version == '12.1(5)YC3') flag++;
else if (version == '12.1(5)YC2') flag++;
else if (version == '12.1(5)YC1') flag++;
else if (version == '12.1(5)YC') flag++;
else if (version == '12.1(5)YB5') flag++;
else if (version == '12.1(5)YB4') flag++;
else if (version == '12.1(5)YB3') flag++;
else if (version == '12.1(5)YB1') flag++;
else if (version == '12.1(5)YB') flag++;
else if (version == '12.1(5)YA2') flag++;
else if (version == '12.1(5)YA1') flag++;
else if (version == '12.1(5)YA') flag++;
else if (version == '12.1(4)XZ7') flag++;
else if (version == '12.1(4)XZ6') flag++;
else if (version == '12.1(4)XZ5') flag++;
else if (version == '12.1(4)XZ4') flag++;
else if (version == '12.1(4)XZ3') flag++;
else if (version == '12.1(4)XZ2') flag++;
else if (version == '12.1(4)XZ1') flag++;
else if (version == '12.1(4)XZ') flag++;
else if (version == '12.1(4)XY8') flag++;
else if (version == '12.1(4)XY7') flag++;
else if (version == '12.1(4)XY6') flag++;
else if (version == '12.1(4)XY5') flag++;
else if (version == '12.1(4)XY4') flag++;
else if (version == '12.1(4)XY3') flag++;
else if (version == '12.1(4)XY1') flag++;
else if (version == '12.1(3)XW2') flag++;
else if (version == '12.1(3)XW1') flag++;
else if (version == '12.1(3)XW') flag++;
else if (version == '12.1(5)XV4') flag++;
else if (version == '12.1(5)XV2') flag++;
else if (version == '12.1(5)XV1') flag++;
else if (version == '12.1(5)XV') flag++;
else if (version == '12.1(5)XU1') flag++;
else if (version == '12.1(5)XU') flag++;
else if (version == '12.1(3)XT2') flag++;
else if (version == '12.1(3)XT1') flag++;
else if (version == '12.1(3)XT') flag++;
else if (version == '12.1(5)XS5') flag++;
else if (version == '12.1(5)XS4') flag++;
else if (version == '12.1(5)XS3') flag++;
else if (version == '12.1(5)XS2') flag++;
else if (version == '12.1(5)XS1') flag++;
else if (version == '12.1(5)XS') flag++;
else if (version == '12.1(3)XS') flag++;
else if (version == '12.1(5)XR2') flag++;
else if (version == '12.1(5)XR1') flag++;
else if (version == '12.1(5)XR') flag++;
else if (version == '12.1(3)XQ3') flag++;
else if (version == '12.1(3)XQ2') flag++;
else if (version == '12.1(3)XQ1') flag++;
else if (version == '12.1(3)XQ') flag++;
else if (version == '12.1(3)XP4') flag++;
else if (version == '12.1(3)XP2') flag++;
else if (version == '12.1(3)XP') flag++;
else if (version == '12.1(5)XM8') flag++;
else if (version == '12.1(5)XM7') flag++;
else if (version == '12.1(5)XM6') flag++;
else if (version == '12.1(5)XM5') flag++;
else if (version == '12.1(5)XM4') flag++;
else if (version == '12.1(5)XM3') flag++;
else if (version == '12.1(5)XM2') flag++;
else if (version == '12.1(5)XM1') flag++;
else if (version == '12.1(5)XM') flag++;
else if (version == '12.1(3a)XL3') flag++;
else if (version == '12.1(3a)XL2') flag++;
else if (version == '12.1(3a)XL1') flag++;
else if (version == '12.1(3)XL') flag++;
else if (version == '12.1(3)XJ') flag++;
else if (version == '12.1(3a)XI9') flag++;
else if (version == '12.1(3a)XI8') flag++;
else if (version == '12.1(3a)XI7') flag++;
else if (version == '12.1(3a)XI6') flag++;
else if (version == '12.1(3a)XI5') flag++;
else if (version == '12.1(3a)XI4') flag++;
else if (version == '12.1(3a)XI3') flag++;
else if (version == '12.1(3a)XI2') flag++;
else if (version == '12.1(3a)XI1') flag++;
else if (version == '12.1(3)XI') flag++;
else if (version == '12.1(2a)XH3') flag++;
else if (version == '12.1(2a)XH2') flag++;
else if (version == '12.1(2a)XH1') flag++;
else if (version == '12.1(2a)XH') flag++;
else if (version == '12.1(3)XG6') flag++;
else if (version == '12.1(3)XG5') flag++;
else if (version == '12.1(3)XG4') flag++;
else if (version == '12.1(3)XG3') flag++;
else if (version == '12.1(3)XG2') flag++;
else if (version == '12.1(3)XG1') flag++;
else if (version == '12.1(3)XG') flag++;
else if (version == '12.1(2)XF5') flag++;
else if (version == '12.1(2)XF4') flag++;
else if (version == '12.1(2)XF3') flag++;
else if (version == '12.1(2)XF2') flag++;
else if (version == '12.1(2)XF1') flag++;
else if (version == '12.1(2)XF') flag++;
else if (version == '12.1(1)XE1') flag++;
else if (version == '12.1(1)XE') flag++;
else if (version == '12.1(1)XD2') flag++;
else if (version == '12.1(1)XD1') flag++;
else if (version == '12.1(1)XD') flag++;
else if (version == '12.1(1)XC1') flag++;
else if (version == '12.1(1)XB') flag++;
else if (version == '12.1(1)XA4') flag++;
else if (version == '12.1(1)XA3') flag++;
else if (version == '12.1(1)XA2') flag++;
else if (version == '12.1(1)XA') flag++;
else if (version == '12.1(5)T9') flag++;
else if (version == '12.1(5)T8b') flag++;
else if (version == '12.1(5)T8a') flag++;
else if (version == '12.1(5)T8') flag++;
else if (version == '12.1(5)T7') flag++;
else if (version == '12.1(5)T6') flag++;
else if (version == '12.1(5)T5') flag++;
else if (version == '12.1(5)T4') flag++;
else if (version == '12.1(5)T3') flag++;
else if (version == '12.1(5)T20') flag++;
else if (version == '12.1(5)T2') flag++;
else if (version == '12.1(5)T19') flag++;
else if (version == '12.1(5)T18') flag++;
else if (version == '12.1(5)T17') flag++;
else if (version == '12.1(5)T15') flag++;
else if (version == '12.1(5)T14') flag++;
else if (version == '12.1(5)T12') flag++;
else if (version == '12.1(5)T11') flag++;
else if (version == '12.1(5)T10') flag++;
else if (version == '12.1(5)T1') flag++;
else if (version == '12.1(5)T') flag++;
else if (version == '12.1(3a)T8') flag++;
else if (version == '12.1(3a)T7') flag++;
else if (version == '12.1(3a)T6') flag++;
else if (version == '12.1(3a)T5') flag++;
else if (version == '12.1(3a)T4') flag++;
else if (version == '12.1(3a)T3') flag++;
else if (version == '12.1(3a)T2') flag++;
else if (version == '12.1(3a)T1') flag++;
else if (version == '12.1(3)T') flag++;
else if (version == '12.1(2a)T2') flag++;
else if (version == '12.1(2a)T1') flag++;
else if (version == '12.1(2)T') flag++;
else if (version == '12.1(1a)T1') flag++;
else if (version == '12.1(1)T') flag++;
else if (version == '12.1(2)GB') flag++;
else if (version == '12.1(1)GA1') flag++;
else if (version == '12.1(1)GA') flag++;
else if (version == '12.1(6)EZ6') flag++;
else if (version == '12.1(6)EZ5') flag++;
else if (version == '12.1(6)EZ4') flag++;
else if (version == '12.1(6)EZ3') flag++;
else if (version == '12.1(6)EZ2') flag++;
else if (version == '12.1(6)EZ1') flag++;
else if (version == '12.1(6)EZ') flag++;
else if (version == '12.1(13)EX3') flag++;
else if (version == '12.1(13)EX2') flag++;
else if (version == '12.1(13)EX1') flag++;
else if (version == '12.1(13)EX') flag++;
else if (version == '12.1(12c)EX1') flag++;
else if (version == '12.1(12c)EX') flag++;
else if (version == '12.1(11b)EX1') flag++;
else if (version == '12.1(11b)EX') flag++;
else if (version == '12.1(10)EX2') flag++;
else if (version == '12.1(10)EX') flag++;
else if (version == '12.1(9)EX3') flag++;
else if (version == '12.1(8b)EX5') flag++;
else if (version == '12.1(8b)EX3') flag++;
else if (version == '12.1(8b)EX2') flag++;
else if (version == '12.1(8a)EX') flag++;
else if (version == '12.1(22)EC1') flag++;
else if (version == '12.1(22)EC') flag++;
else if (version == '12.1(20)EC3') flag++;
else if (version == '12.1(20)EC2') flag++;
else if (version == '12.1(20)EC1') flag++;
else if (version == '12.1(20)EC') flag++;
else if (version == '12.1(19)EC1') flag++;
else if (version == '12.1(19)EC') flag++;
else if (version == '12.1(13)EC4') flag++;
else if (version == '12.1(13)EC3') flag++;
else if (version == '12.1(13)EC2') flag++;
else if (version == '12.1(13)EC1') flag++;
else if (version == '12.1(13)EC') flag++;
else if (version == '12.1(12c)EC1') flag++;
else if (version == '12.1(12c)EC') flag++;
else if (version == '12.1(11b)EC1') flag++;
else if (version == '12.1(11b)EC') flag++;
else if (version == '12.1(10)EC1') flag++;
else if (version == '12.1(10)EC') flag++;
else if (version == '12.1(9)EC1') flag++;
else if (version == '12.1(8)EC1') flag++;
else if (version == '12.1(8)EC') flag++;
else if (version == '12.1(7)EC') flag++;
else if (version == '12.1(6)EC') flag++;
else if (version == '12.1(5)EC1') flag++;
else if (version == '12.1(5)EC') flag++;
else if (version == '12.1(27b)E1') flag++;
else if (version == '12.1(27b)E') flag++;
else if (version == '12.1(26)E8') flag++;
else if (version == '12.1(26)E7') flag++;
else if (version == '12.1(26)E6') flag++;
else if (version == '12.1(26)E5') flag++;
else if (version == '12.1(26)E4') flag++;
else if (version == '12.1(26)E3') flag++;
else if (version == '12.1(26)E2') flag++;
else if (version == '12.1(26)E1') flag++;
else if (version == '12.1(26)E') flag++;
else if (version == '12.1(23)E4') flag++;
else if (version == '12.1(23)E3') flag++;
else if (version == '12.1(23)E2') flag++;
else if (version == '12.1(23)E1') flag++;
else if (version == '12.1(23)E') flag++;
else if (version == '12.1(22)E6') flag++;
else if (version == '12.1(22)E5') flag++;
else if (version == '12.1(22)E4') flag++;
else if (version == '12.1(22)E3') flag++;
else if (version == '12.1(22)E2') flag++;
else if (version == '12.1(22)E1') flag++;
else if (version == '12.1(22)E') flag++;
else if (version == '12.1(20)E6') flag++;
else if (version == '12.1(20)E5') flag++;
else if (version == '12.1(20)E4') flag++;
else if (version == '12.1(20)E3') flag++;
else if (version == '12.1(20)E2') flag++;
else if (version == '12.1(20)E1') flag++;
else if (version == '12.1(20)E') flag++;
else if (version == '12.1(19)E7') flag++;
else if (version == '12.1(19)E6') flag++;
else if (version == '12.1(19)E4') flag++;
else if (version == '12.1(19)E3') flag++;
else if (version == '12.1(19)E2') flag++;
else if (version == '12.1(19)E1') flag++;
else if (version == '12.1(19)E') flag++;
else if (version == '12.1(14)E7') flag++;
else if (version == '12.1(14)E6') flag++;
else if (version == '12.1(14)E5') flag++;
else if (version == '12.1(14)E4') flag++;
else if (version == '12.1(14)E3') flag++;
else if (version == '12.1(14)E2') flag++;
else if (version == '12.1(14)E10') flag++;
else if (version == '12.1(14)E1') flag++;
else if (version == '12.1(14)E') flag++;
else if (version == '12.1(13)E9') flag++;
else if (version == '12.1(13)E8') flag++;
else if (version == '12.1(13)E7') flag++;
else if (version == '12.1(13)E6') flag++;
else if (version == '12.1(13)E5') flag++;
else if (version == '12.1(13)E4') flag++;
else if (version == '12.1(13)E3') flag++;
else if (version == '12.1(13)E2') flag++;
else if (version == '12.1(13)E17') flag++;
else if (version == '12.1(13)E16') flag++;
else if (version == '12.1(13)E15') flag++;
else if (version == '12.1(13)E14') flag++;
else if (version == '12.1(13)E13') flag++;
else if (version == '12.1(13)E12') flag++;
else if (version == '12.1(13)E11') flag++;
else if (version == '12.1(13)E10') flag++;
else if (version == '12.1(13)E1') flag++;
else if (version == '12.1(13)E') flag++;
else if (version == '12.1(12c)E6') flag++;
else if (version == '12.1(12c)E5') flag++;
else if (version == '12.1(12c)E4') flag++;
else if (version == '12.1(12c)E2') flag++;
else if (version == '12.1(12c)E1') flag++;
else if (version == '12.1(12c)E') flag++;
else if (version == '12.1(11b)E7') flag++;
else if (version == '12.1(11b)E4') flag++;
else if (version == '12.1(11b)E3') flag++;
else if (version == '12.1(11b)E2') flag++;
else if (version == '12.1(11b)E14') flag++;
else if (version == '12.1(11b)E12') flag++;
else if (version == '12.1(11b)E11') flag++;
else if (version == '12.1(11b)E10') flag++;
else if (version == '12.1(11b)E1') flag++;
else if (version == '12.1(11b)E0a') flag++;
else if (version == '12.1(11b)E') flag++;
else if (version == '12.1(10)E8') flag++;
else if (version == '12.1(10)E7') flag++;
else if (version == '12.1(10)E6a') flag++;
else if (version == '12.1(10)E6') flag++;
else if (version == '12.1(10)E5') flag++;
else if (version == '12.1(10)E4') flag++;
else if (version == '12.1(10)E3') flag++;
else if (version == '12.1(10)E2') flag++;
else if (version == '12.1(10)E1') flag++;
else if (version == '12.1(10)E') flag++;
else if (version == '12.1(9)E3') flag++;
else if (version == '12.1(9)E2') flag++;
else if (version == '12.1(9)E1') flag++;
else if (version == '12.1(9)E') flag++;
else if (version == '12.1(8b)E9') flag++;
else if (version == '12.1(8b)E8') flag++;
else if (version == '12.1(8b)E7') flag++;
else if (version == '12.1(8b)E6') flag++;
else if (version == '12.1(8b)E20') flag++;
else if (version == '12.1(8b)E19') flag++;
else if (version == '12.1(8b)E18') flag++;
else if (version == '12.1(8b)E15') flag++;
else if (version == '12.1(8b)E14') flag++;
else if (version == '12.1(8b)E13') flag++;
else if (version == '12.1(8b)E12') flag++;
else if (version == '12.1(8b)E11') flag++;
else if (version == '12.1(8b)E10') flag++;
else if (version == '12.1(8a)E5') flag++;
else if (version == '12.1(8a)E4') flag++;
else if (version == '12.1(8a)E3') flag++;
else if (version == '12.1(8a)E2') flag++;
else if (version == '12.1(8a)E1') flag++;
else if (version == '12.1(8a)E') flag++;
else if (version == '12.1(7a)E6') flag++;
else if (version == '12.1(7a)E5') flag++;
else if (version == '12.1(7a)E2') flag++;
else if (version == '12.1(7a)E1a') flag++;
else if (version == '12.1(7a)E1') flag++;
else if (version == '12.1(7)E0a') flag++;
else if (version == '12.1(7)E') flag++;
else if (version == '12.1(6)E8') flag++;
else if (version == '12.1(6)E6') flag++;
else if (version == '12.1(6)E5') flag++;
else if (version == '12.1(6)E4') flag++;
else if (version == '12.1(6)E3') flag++;
else if (version == '12.1(6)E2') flag++;
else if (version == '12.1(6)E13') flag++;
else if (version == '12.1(6)E1') flag++;
else if (version == '12.1(6)E') flag++;
else if (version == '12.1(5c)E9') flag++;
else if (version == '12.1(5c)E8') flag++;
else if (version == '12.1(5c)E12') flag++;
else if (version == '12.1(5c)E10') flag++;
else if (version == '12.1(5a)E4') flag++;
else if (version == '12.1(5a)E3') flag++;
else if (version == '12.1(5a)E2') flag++;
else if (version == '12.1(5a)E1') flag++;
else if (version == '12.1(5a)E') flag++;
else if (version == '12.1(4)E3') flag++;
else if (version == '12.1(4)E') flag++;
else if (version == '12.1(3a)E8') flag++;
else if (version == '12.1(3a)E7') flag++;
else if (version == '12.1(3a)E5') flag++;
else if (version == '12.1(3a)E4') flag++;
else if (version == '12.1(3a)E1') flag++;
else if (version == '12.1(3a)E') flag++;
else if (version == '12.1(2)E2') flag++;
else if (version == '12.1(2)E1') flag++;
else if (version == '12.1(2)E') flag++;
else if (version == '12.1(1)E5') flag++;
else if (version == '12.1(1)E3') flag++;
else if (version == '12.1(1)E2') flag++;
else if (version == '12.1(1)E1') flag++;
else if (version == '12.1(1)E') flag++;
else if (version == '12.1(10)AA') flag++;
else if (version == '12.1(8)AA1') flag++;
else if (version == '12.1(8)AA') flag++;
else if (version == '12.1(7)AA') flag++;
else if (version == '12.1(6)AA') flag++;
else if (version == '12.1(5)AA') flag++;
else if (version == '12.1(4)AA') flag++;
else if (version == '12.1(3)AA') flag++;
else if (version == '12.1(2a)AA') flag++;
else if (version == '12.1(1)AA1') flag++;
else if (version == '12.1(1)AA') flag++;
else if (version == '12.1(27b)') flag++;
else if (version == '12.1(27a)') flag++;
else if (version == '12.1(27)') flag++;
else if (version == '12.1(26)') flag++;
else if (version == '12.1(25)') flag++;
else if (version == '12.1(24)') flag++;
else if (version == '12.1(22c)') flag++;
else if (version == '12.1(22b)') flag++;
else if (version == '12.1(22a)') flag++;
else if (version == '12.1(22)') flag++;
else if (version == '12.1(21)') flag++;
else if (version == '12.1(20a)') flag++;
else if (version == '12.1(20)') flag++;
else if (version == '12.1(19)') flag++;
else if (version == '12.1(18)') flag++;
else if (version == '12.1(17a)') flag++;
else if (version == '12.1(17)') flag++;
else if (version == '12.1(16)') flag++;
else if (version == '12.1(15)') flag++;
else if (version == '12.1(14)') flag++;
else if (version == '12.1(13a)') flag++;
else if (version == '12.1(13)') flag++;
else if (version == '12.1(12c)') flag++;
else if (version == '12.1(12b)') flag++;
else if (version == '12.1(12a)') flag++;
else if (version == '12.1(12)') flag++;
else if (version == '12.1(11b)') flag++;
else if (version == '12.1(11a)') flag++;
else if (version == '12.1(11)') flag++;
else if (version == '12.1(10a)') flag++;
else if (version == '12.1(10)') flag++;
else if (version == '12.1(9a)') flag++;
else if (version == '12.1(9)') flag++;
else if (version == '12.1(8b)') flag++;
else if (version == '12.1(8a)') flag++;
else if (version == '12.1(8)') flag++;
else if (version == '12.1(7c)') flag++;
else if (version == '12.1(7b)') flag++;
else if (version == '12.1(7a)') flag++;
else if (version == '12.1(7)') flag++;
else if (version == '12.1(6b)') flag++;
else if (version == '12.1(6a)') flag++;
else if (version == '12.1(6)') flag++;
else if (version == '12.1(5e)') flag++;
else if (version == '12.1(5d)') flag++;
else if (version == '12.1(5c)') flag++;
else if (version == '12.1(5b)') flag++;
else if (version == '12.1(5a)') flag++;
else if (version == '12.1(5)') flag++;
else if (version == '12.1(4c)') flag++;
else if (version == '12.1(4b)') flag++;
else if (version == '12.1(4a)') flag++;
else if (version == '12.1(3b)') flag++;
else if (version == '12.1(3)') flag++;
else if (version == '12.1(2b)') flag++;
else if (version == '12.1(2a)') flag++;
else if (version == '12.1(2)') flag++;
else if (version == '12.1(1c)') flag++;
else if (version == '12.1(1b)') flag++;
else if (version == '12.1(1a)') flag++;
else if (version == '12.1(1)') flag++;
else if (version == '12.0(7)XV') flag++;
else if (version == '12.0(5)XT1') flag++;
else if (version == '12.0(7)XR4') flag++;
else if (version == '12.0(7)XR3') flag++;
else if (version == '12.0(7)XR2') flag++;
else if (version == '12.0(7)XR1') flag++;
else if (version == '12.0(5)XQ1') flag++;
else if (version == '12.0(5)XQ') flag++;
else if (version == '12.0(5)XN') flag++;
else if (version == '12.0(4)XM1') flag++;
else if (version == '12.0(4)XM') flag++;
else if (version == '12.0(4)XL1') flag++;
else if (version == '12.0(4)XL') flag++;
else if (version == '12.0(7)XK3') flag++;
else if (version == '12.0(7)XK2') flag++;
else if (version == '12.0(7)XK1') flag++;
else if (version == '12.0(7)XK') flag++;
else if (version == '12.0(5)XK2') flag++;
else if (version == '12.0(5)XK1') flag++;
else if (version == '12.0(5)XK') flag++;
else if (version == '12.0(4)XI1') flag++;
else if (version == '12.0(4)XI') flag++;
else if (version == '12.0(4)XH4') flag++;
else if (version == '12.0(4)XH3') flag++;
else if (version == '12.0(4)XH1') flag++;
else if (version == '12.0(4)XH') flag++;
else if (version == '12.0(3)XG') flag++;
else if (version == '12.0(7)XE2') flag++;
else if (version == '12.0(7)XE1') flag++;
else if (version == '12.0(5)XE8') flag++;
else if (version == '12.0(5)XE7') flag++;
else if (version == '12.0(5)XE6') flag++;
else if (version == '12.0(5)XE5') flag++;
else if (version == '12.0(5)XE4') flag++;
else if (version == '12.0(5)XE3') flag++;
else if (version == '12.0(5)XE1') flag++;
else if (version == '12.0(5)XE') flag++;
else if (version == '12.0(4)XE2') flag++;
else if (version == '12.0(4)XE') flag++;
else if (version == '12.0(2)XD1') flag++;
else if (version == '12.0(2)XC2') flag++;
else if (version == '12.0(2)XC1') flag++;
else if (version == '12.0(2)XC') flag++;
else if (version == '12.0(1)XA') flag++;
else if (version == '12.0(7)T3') flag++;
else if (version == '12.0(7)T2') flag++;
else if (version == '12.0(7)T') flag++;
else if (version == '12.0(5)T2') flag++;
else if (version == '12.0(5)T1') flag++;
else if (version == '12.0(5)T') flag++;
else if (version == '12.0(4)T1') flag++;
else if (version == '12.0(4)T') flag++;
else if (version == '12.0(3)T3') flag++;
else if (version == '12.0(3)T2') flag++;
else if (version == '12.0(3)T1') flag++;
else if (version == '12.0(3)T') flag++;
else if (version == '12.0(2a)T1') flag++;
else if (version == '12.0(2)T1') flag++;
else if (version == '12.0(2)T') flag++;
else if (version == '12.0(1)T') flag++;
else if (version == '12.0(28d)') flag++;
else if (version == '12.0(28c)') flag++;
else if (version == '12.0(28b)') flag++;
else if (version == '12.0(28a)') flag++;
else if (version == '12.0(28)') flag++;
else if (version == '12.0(27)') flag++;
else if (version == '12.0(26)') flag++;
else if (version == '12.0(25)') flag++;
else if (version == '12.0(24)') flag++;
else if (version == '12.0(23)') flag++;
else if (version == '12.0(22)') flag++;
else if (version == '12.0(21a)') flag++;
else if (version == '12.0(21)') flag++;
else if (version == '12.0(20a)') flag++;
else if (version == '12.0(20)') flag++;
else if (version == '12.0(19b)') flag++;
else if (version == '12.0(19a)') flag++;
else if (version == '12.0(19)') flag++;
else if (version == '12.0(18b)') flag++;
else if (version == '12.0(18)') flag++;
else if (version == '12.0(17a)') flag++;
else if (version == '12.0(17)') flag++;
else if (version == '12.0(16a)') flag++;
else if (version == '12.0(16)') flag++;
else if (version == '12.0(15b)') flag++;
else if (version == '12.0(15a)') flag++;
else if (version == '12.0(15)') flag++;
else if (version == '12.0(14a)') flag++;
else if (version == '12.0(14)') flag++;
else if (version == '12.0(13a)') flag++;
else if (version == '12.0(13)') flag++;
else if (version == '12.0(12a)') flag++;
else if (version == '12.0(12)') flag++;
else if (version == '12.0(11a)') flag++;
else if (version == '12.0(11)') flag++;
else if (version == '12.0(10a)') flag++;
else if (version == '12.0(10)') flag++;
else if (version == '12.0(9a)') flag++;
else if (version == '12.0(9)') flag++;
else if (version == '12.0(8a)') flag++;
else if (version == '12.0(8)') flag++;
else if (version == '12.0(7a)') flag++;
else if (version == '12.0(7)') flag++;
else if (version == '12.0(6b)') flag++;
else if (version == '12.0(6a)') flag++;
else if (version == '12.0(6)') flag++;
else if (version == '12.0(5a)') flag++;
else if (version == '12.0(5)') flag++;
else if (version == '12.0(4b)') flag++;
else if (version == '12.0(4)') flag++;
else if (version == '12.0(3d)') flag++;
else if (version == '12.0(3b)') flag++;
else if (version == '12.0(3)') flag++;
else if (version == '12.0(2b)') flag++;
else if (version == '12.0(2a)') flag++;
else if (version == '12.0(2)') flag++;
else if (version == '12.0(1)') flag++;

if (get_kb_item("Host/local_checks_enabled"))
{
  if (flag)
  {
    flag = 0;
    buf = cisco_command_kb_item("Host/Cisco/Config/show_processes", "show processes");
    if (check_cisco_result(buf))
    {
      if (preg(pattern:"H323", multiline:TRUE, string:buf)) { flag = 1; }
      if (preg(pattern:"SIP", multiline:TRUE, string:buf)) { flag = 1; }
    } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }

    buf = cisco_command_kb_item("Host/Cisco/Config/show_running-config", "show running-config");
    if (check_cisco_result(buf))
    {
      if (preg(pattern:"mgcp", multiline:TRUE, string:buf)) { flag = 1; }
    } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }

    buf = cisco_command_kb_item("Host/Cisco/Config/show_voice_dsp", "show voice dsp");
    if (check_cisco_result(buf))
    {
      flag = 1;
    } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; }
  }
}


if (flag)
{
  security_hole(port:0, extra:cisco_caveat(override));
  exit(0);
}
else audit(AUDIT_HOST_NOT, "affected");