Vulnerabilities > CVE-2007-4286 - Improper Restriction of Operations Within the Bounds of A Memory Buffer vulnerability in Cisco IOS

CVSS 9.3 - CRITICAL

Attack vector

NETWORK

Attack complexity

MEDIUM

Privileges required

NONE

Confidentiality impact

COMPLETE

Integrity impact

COMPLETE

Availability impact

COMPLETE

network

cisco

CWE-119

critical

nessus

exploit available

NVD

Published: 2007-08-09

Updated: 2018-10-15

Summary

Buffer overflow in the Next Hop Resolution Protocol (NHRP) functionality in Cisco IOS 12.0 through 12.4 allows remote attackers to cause a denial of service (restart) and execute arbitrary code via a crafted NHRP packet.

Vulnerable Configurations

Part	Description	Count
OS	Cisco Cisco IOS 12.0 Cisco IOS 12.1 Cisco IOS 12.2 Cisco IOS 12.3 Cisco IOS 12.4	5

Common Weakness Enumeration (CWE)

CWE-119 - Improper Restriction of Operations within the Bounds of a Memory Buffer

Common Attack Pattern Enumeration and Classification (CAPEC)

Buffer Overflow via Environment Variables
This attack pattern involves causing a buffer overflow through manipulation of environment variables. Once the attacker finds that they can modify an environment variable, they may try to overflow associated buffers. This attack leverages implicit trust often placed in environment variables.
Overflow Buffers
Buffer Overflow attacks target improper or missing bounds checking on buffer operations, typically triggered by input injected by an attacker. As a consequence, an attacker is able to write past the boundaries of allocated buffer regions in memory, causing a program crash or potentially redirection of execution as per the attackers' choice.
Client-side Injection-induced Buffer Overflow
This type of attack exploits a buffer overflow vulnerability in targeted client software through injection of malicious content from a custom-built hostile service.
Filter Failure through Buffer Overflow
In this attack, the idea is to cause an active filter to fail by causing an oversized transaction. An attacker may try to feed overly long input strings to the program in an attempt to overwhelm the filter (by causing a buffer overflow) and hoping that the filter does not fail securely (i.e. the user input is let into the system unfiltered).
MIME Conversion
An attacker exploits a weakness in the MIME conversion routine to cause a buffer overflow and gain control over the mail server machine. The MIME system is designed to allow various different information formats to be interpreted and sent via e-mail. Attack points exist when data are converted to MIME compatible format and back.

Exploit-Db

description	Cisco IOS Next Hop Resolution Protocol (NHRP) Denial of Service Exploit. CVE-2007-4286. Dos exploit for windows platform
id	EDB-ID:4272
last seen	2016-01-31
modified	2007-08-09
published	2007-08-09
reporter	Martin Kluge
source	https://www.exploit-db.com/download/4272/
title	Cisco IOS Next Hop Resolution Protocol NHRP Denial of Service Exploit

Nessus

NASL family	CISCO
NASL id	CISCO-SA-20070808-NHRPHTTP.NASL
description	The Cisco Next Hop Resolution Protocol (NHRP) feature in Cisco IOS contains a vulnerability that can result in a restart of the device or possible remote code execution. NHRP is a primary component of the Dynamic Multipoint Virtual Private Network (DMVPN) feature. NHRP can operate in three ways: at the link layer (Layer 2), over Generic Routing Encapsulation (GRE) and multipoint GRE (mGRE) tunnels and directly on IP (IP protocol number 54). This vulnerability affects all three methods of operation. NHRP is not enabled by default for Cisco IOS.
last seen	2019-10-28
modified	2010-09-01
plugin id	49008
published	2010-09-01
reporter	This script is (C) 2010-2018 Tenable Network Security, Inc.
source	https://www.tenable.com/plugins/nessus/49008
title	Cisco IOS Next Hop Resolution Protocol Vulnerability
code	#TRUSTED 78b19e0b55ccc13820d51f11edb485ecfaa8c09185946679d46d5f03d43c6865fea2f6bd2447cb87b1ab602f148aa4763052607a12cbae361607f40eddb08e65d22550147cea7f6d1043f18f81ff8bb612c191f382fa7267b2451e5a651a4d1a58996e6261d485ac3dfbc4664e54ff5ce029b8b74d40ca09041b44ebc7596e78b4f8dba8659d1e0fddb924341e64712c080421f58102938973c42f7f8d03f38954c7a4b18204c3a664ec02755aed2a1f3ef8ff0731097f4392f14d451f57684edc598aaddc6bc5918bf2953cc0f6cc95a92b1f191af2a80771118c7a34ca7e7edc129e2bc03784d781a0cc26f4518f12edb118743a40646c9e5150b88c6c56561796816435a4b46a608c7e9f210ee6e1f3be38393064152c0e1f630bd659027c8a1f935b438e97ca39583f459d083f345d82512c6ce6976589c8f15f4e005627c9e05bb26d255a5ebb21ba65416dc551535fb8c7bca514c7088c467cab83d2c9676d5f8f928b2c0bf413340c4ad818d92359b457a93c9340a9bfdad07a203fa6b2b7b959aca44646c1580a45e3211af9a62610f219668505a76847ee980d6da4fa42e0684a8db90cdec2a8cdc70e4ce79acdfa6062d16088ba845ea35ceba0ec7dbfc5ceea207955e197bf00370646839a983b30bd3eedf44e6aa066b9eb8718a34b215be61af585c2b6b122fc5790b285eb2c92e4425a6f949310bfc1cc3bd2 # # (C) Tenable Network Security, Inc. # # Security advisory is (C) CISCO, Inc. # See https://www.cisco.com/en/US/products/products_security_advisory09186a008089963b.shtml include("compat.inc"); if (description) { script_id(49008); script_version("1.23"); script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15"); script_cve_id("CVE-2007-4286"); script_bugtraq_id(25238); script_xref(name:"CERT", value:"201984"); script_xref(name:"CISCO-BUG-ID", value:"CSCin23231"); script_xref(name:"CISCO-BUG-ID", value:"CSCin95836"); script_xref(name:"CISCO-BUG-ID", value:"CSCsi23231"); script_xref(name:"CISCO-SA", value:"cisco-sa-20070808-nhrp"); script_xref(name:"EDB-ID", value:"4272"); script_name(english:"Cisco IOS Next Hop Resolution Protocol Vulnerability"); script_summary(english:"Checks IOS version"); script_set_attribute(attribute:"synopsis", value:"The remote device is missing a vendor-supplied security patch."); script_set_attribute(attribute:"description", value: "The Cisco Next Hop Resolution Protocol (NHRP) feature in Cisco IOS contains a vulnerability that can result in a restart of the device or possible remote code execution. NHRP is a primary component of the Dynamic Multipoint Virtual Private Network (DMVPN) feature. NHRP can operate in three ways: at the link layer (Layer 2), over Generic Routing Encapsulation (GRE) and multipoint GRE (mGRE) tunnels and directly on IP (IP protocol number 54). This vulnerability affects all three methods of operation. NHRP is not enabled by default for Cisco IOS."); script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?9b51da4e"); # https://www.cisco.com/en/US/products/products_security_advisory09186a008089963b.shtml script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?48a57100"); script_set_attribute(attribute:"solution", value: "Apply the relevant patch referenced in Cisco Security Advisory cisco-sa-20070808-nhrp."); 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:POC/RL:OF/RC:C"); script_set_attribute(attribute:"exploitability_ease", value:"Exploits are available"); script_set_attribute(attribute:"exploit_available", value:"true"); script_cwe_id(119); 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_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("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(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)T2') flag++; else if (version == '12.4(2)T1') flag++; else if (version == '12.4(2)T') flag++; else if (version == '12.4(2)MR1') flag++; else if (version == '12.4(2)MR') flag++; else if (version == '12.4(3a)') flag++; else if (version == '12.4(3)') 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)YX7') flag++; else if (version == '12.3(14)YX5') 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)YM4') flag++; else if (version == '12.3(14)YM3') flag++; else if (version == '12.3(14)YM2') 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(11)YJ') 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)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(8)XU1') flag++; else if (version == '12.3(8)XU') 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)XI9') flag++; else if (version == '12.3(7)XI8d') flag++; else if (version == '12.3(7)XI8c') flag++; else if (version == '12.3(7)XI8a') 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)XI2a') flag++; else if (version == '12.3(7)XI2') flag++; else if (version == '12.3(7)XI10') flag++; else if (version == '12.3(7)XI1c') flag++; else if (version == '12.3(7)XI1b') 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)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)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(1a)BW') flag++; else if (version == '12.3(13a)BC6') flag++; else if (version == '12.3(13a)BC5') flag++; else if (version == '12.3(13a)BC4') flag++; else if (version == '12.3(13a)BC3') flag++; else if (version == '12.3(13a)BC2') flag++; else if (version == '12.3(13a)BC1') flag++; else if (version == '12.3(13a)BC') flag++; else if (version == '12.3(9a)BC9') flag++; else if (version == '12.3(9a)BC8') flag++; else if (version == '12.3(9a)BC7') flag++; else if (version == '12.3(9a)BC6') flag++; else if (version == '12.3(9a)BC5') flag++; else if (version == '12.3(9a)BC4') flag++; else if (version == '12.3(9a)BC3') flag++; else if (version == '12.3(9a)BC2') flag++; else if (version == '12.3(9a)BC1') flag++; else if (version == '12.3(9a)BC') 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(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(28)ZX') flag++; else if (version == '12.2(28b)ZV1') flag++; else if (version == '12.2(28)ZV2') 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)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(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(8)ZB') flag++; else if (version == '12.2(14)ZA7') flag++; else if (version == '12.2(14)ZA6') flag++; else if (version == '12.2(14)ZA5') flag++; else if (version == '12.2(14)ZA4') flag++; else if (version == '12.2(14)ZA3') flag++; else if (version == '12.2(14)ZA2') flag++; else if (version == '12.2(14)ZA1') flag++; else if (version == '12.2(14)ZA') flag++; else if (version == '12.2(9)ZA') 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)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(11)YP3') 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(8)YJ') flag++; else if (version == '12.2(4)YH') 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)YA7') flag++; else if (version == '12.2(4)YA6') flag++; else if (version == '12.2(4)YA2') 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(4)XR') flag++; else if (version == '12.2(2)XR') flag++; else if (version == '12.2(2)XQ1') flag++; else if (version == '12.2(2)XQ') 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)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)XK') flag++; else if (version == '12.2(2)XJ') flag++; else if (version == '12.2(2)XH2') 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(4)XF1') flag++; else if (version == '12.2(4)XF') flag++; else if (version == '12.2(2)XF2') flag++; else if (version == '12.2(2)XF1') flag++; else if (version == '12.2(2)XF') flag++; else if (version == '12.2(1)XF1') flag++; else if (version == '12.2(1)XF') 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(28)VZ') 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)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)SZ3') 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(14)SY5') flag++; else if (version == '12.2(14)SY4') flag++; else if (version == '12.2(14)SY3') flag++; else if (version == '12.2(14)SY2') flag++; else if (version == '12.2(14)SY1') flag++; else if (version == '12.2(14)SY') 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)SW10') 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(21)SW1') flag++; else if (version == '12.2(21)SW') flag++; else if (version == '12.2(20)SW') flag++; else if (version == '12.2(19)SW') flag++; else if (version == '12.2(18)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(29)SM1') flag++; else if (version == '12.2(29)SM') flag++; else if (version == '12.2(31)SGA2') flag++; else if (version == '12.2(31)SGA1') flag++; else if (version == '12.2(31)SGA') flag++; else if (version == '12.2(37)SG') flag++; else if (version == '12.2(31)SG1') flag++; else if (version == '12.2(31)SG') flag++; else if (version == '12.2(25)SG1') flag++; else if (version == '12.2(25)SG') 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)SB5') 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)SB1') 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)MC2i') flag++; else if (version == '12.2(15)MC2g') flag++; else if (version == '12.2(15)MC2f') flag++; else if (version == '12.2(15)MC2e') flag++; else if (version == '12.2(15)MC2c') flag++; else if (version == '12.2(15)MC2b') flag++; else if (version == '12.2(15)MC2a') 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(15)MC1') flag++; else if (version == '12.2(8)MC2d') flag++; else if (version == '12.2(8)MC2c') flag++; else if (version == '12.2(8)MC2b') flag++; else if (version == '12.2(8)MC2a') flag++; else if (version == '12.2(8)MC2') flag++; else if (version == '12.2(8)MC1') flag++; else if (version == '12.2(4)MB9a') flag++; else if (version == '12.2(4)MB9') flag++; else if (version == '12.2(4)MB8') flag++; else if (version == '12.2(4)MB7') flag++; else if (version == '12.2(4)MB6') flag++; else if (version == '12.2(4)MB5') flag++; else if (version == '12.2(4)MB4') flag++; else if (version == '12.2(4)MB3') flag++; else if (version == '12.2(4)MB2') flag++; else if (version == '12.2(4)MB13c') flag++; else if (version == '12.2(4)MB13b') flag++; else if (version == '12.2(4)MB13a') flag++; else if (version == '12.2(4)MB13') flag++; else if (version == '12.2(4)MB12') flag++; else if (version == '12.2(4)MB11') flag++; else if (version == '12.2(4)MB10') flag++; else if (version == '12.2(4)MB1') flag++; else if (version == '12.2(1)MB1') 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(25)EWA9') flag++; else if (version == '12.2(25)EWA8') flag++; else if (version == '12.2(25)EWA7') flag++; else if (version == '12.2(25)EWA6') flag++; else if (version == '12.2(25)EWA5') flag++; else if (version == '12.2(25)EWA4') flag++; else if (version == '12.2(25)EWA3') flag++; else if (version == '12.2(25)EWA2') flag++; else if (version == '12.2(25)EWA1') flag++; else if (version == '12.2(25)EWA') flag++; else if (version == '12.2(20)EWA4') flag++; else if (version == '12.2(20)EWA3') flag++; else if (version == '12.2(20)EWA2') flag++; else if (version == '12.2(20)EWA1') flag++; else if (version == '12.2(20)EWA') flag++; else if (version == '12.2(25)EW') flag++; else if (version == '12.2(20)EW4') flag++; else if (version == '12.2(20)EW3') flag++; else if (version == '12.2(20)EW2') flag++; else if (version == '12.2(20)EW1') flag++; else if (version == '12.2(20)EW') flag++; else if (version == '12.2(18)EW7') flag++; else if (version == '12.2(18)EW6') flag++; else if (version == '12.2(18)EW5') flag++; else if (version == '12.2(18)EW4') flag++; else if (version == '12.2(18)EW3') flag++; else if (version == '12.2(18)EW2') flag++; else if (version == '12.2(18)EW1') flag++; else if (version == '12.2(18)EW') flag++; else if (version == '12.2(20)EU2') flag++; else if (version == '12.2(20)EU1') flag++; else if (version == '12.2(20)EU') 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(12)DA9') flag++; else if (version == '12.2(12)DA8') flag++; else if (version == '12.2(12)DA7') flag++; else if (version == '12.2(12)DA6') flag++; else if (version == '12.2(12)DA5') flag++; else if (version == '12.2(12)DA4') flag++; else if (version == '12.2(12)DA3') flag++; else if (version == '12.2(12)DA2') flag++; else if (version == '12.2(12)DA11') flag++; else if (version == '12.2(12)DA10') flag++; else if (version == '12.2(12)DA1') flag++; else if (version == '12.2(12)DA') flag++; else if (version == '12.2(10)DA7') flag++; else if (version == '12.2(10)DA6') flag++; else if (version == '12.2(10)DA5') flag++; else if (version == '12.2(10)DA4') flag++; else if (version == '12.2(10)DA3') flag++; else if (version == '12.2(10)DA2') flag++; else if (version == '12.2(10)DA1') flag++; else if (version == '12.2(10)DA') flag++; else if (version == '12.2(7)DA') flag++; else if (version == '12.2(5)DA1') flag++; else if (version == '12.2(5)DA') flag++; else if (version == '12.2(1b)DA1') flag++; else if (version == '12.2(1b)DA') flag++; else if (version == '12.2(11)CY') flag++; else if (version == '12.2(15)CX1') flag++; else if (version == '12.2(15)CX') flag++; else if (version == '12.2(11)CX1') flag++; else if (version == '12.2(11)CX') flag++; else if (version == '12.2(15)BZ2') flag++; else if (version == '12.2(4)BZ2') flag++; else if (version == '12.2(4)BZ1') 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(2)BY3') flag++; else if (version == '12.2(2)BY2') flag++; else if (version == '12.2(2)BY1') flag++; else if (version == '12.2(2)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(15)BX') flag++; else if (version == '12.2(2)BX1') flag++; else if (version == '12.2(2)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(15)BC2i') flag++; else if (version == '12.2(15)BC2h') flag++; else if (version == '12.2(15)BC2g') flag++; else if (version == '12.2(15)BC2f') flag++; else if (version == '12.2(15)BC2e') flag++; else if (version == '12.2(15)BC2d') flag++; else if (version == '12.2(15)BC2c') flag++; else if (version == '12.2(15)BC2b') flag++; else if (version == '12.2(15)BC2a') flag++; else if (version == '12.2(15)BC2') flag++; else if (version == '12.2(15)BC1g') flag++; else if (version == '12.2(15)BC1f') flag++; else if (version == '12.2(15)BC1e') flag++; else if (version == '12.2(15)BC1d') flag++; else if (version == '12.2(15)BC1c') flag++; else if (version == '12.2(15)BC1b') flag++; else if (version == '12.2(15)BC1a') flag++; else if (version == '12.2(15)BC1') flag++; else if (version == '12.2(11)BC3d') flag++; else if (version == '12.2(11)BC3c') flag++; else if (version == '12.2(11)BC3b') flag++; else if (version == '12.2(11)BC3a') flag++; else if (version == '12.2(11)BC3') flag++; else if (version == '12.2(11)BC2a') flag++; else if (version == '12.2(11)BC2') flag++; else if (version == '12.2(11)BC1b') flag++; else if (version == '12.2(11)BC1a') flag++; else if (version == '12.2(11)BC1') flag++; else if (version == '12.2(8)BC2a') flag++; else if (version == '12.2(8)BC2') flag++; else if (version == '12.2(8)BC1') flag++; else if (version == '12.2(4)BC1b') flag++; else if (version == '12.2(4)BC1a') flag++; else if (version == '12.2(4)BC1') 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(2)B7') flag++; else if (version == '12.2(2)B6') flag++; else if (version == '12.2(2)B5') flag++; else if (version == '12.2(2)B4') flag++; else if (version == '12.2(2)B3') flag++; else if (version == '12.2(2)B2') flag++; else if (version == '12.2(2)B1') flag++; else if (version == '12.2(2)B') 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)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)YB5') flag++; else if (version == '12.1(5)YB4') 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(5)XX3') flag++; else if (version == '12.1(5)XX2') flag++; else if (version == '12.1(5)XX1') flag++; else if (version == '12.1(5)XX') 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(3)XT2') flag++; else if (version == '12.1(3)XT1') flag++; else if (version == '12.1(3)XT') flag++; else if (version == '12.1(2)XT2') 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)XP3') 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)XG2') flag++; else if (version == '12.1(3)XG') 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)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)EX1') flag++; else if (version == '12.1(10)EX') flag++; else if (version == '12.1(9)EX3') flag++; else if (version == '12.1(9)EX2') flag++; else if (version == '12.1(9)EX1') flag++; else if (version == '12.1(9)EX') 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)EX1') flag++; else if (version == '12.1(8a)EX') flag++; else if (version == '12.1(5c)EX3') flag++; else if (version == '12.1(1)EX1') flag++; else if (version == '12.1(1)EX') flag++; else if (version == '12.1(20)EW4') flag++; else if (version == '12.1(20)EW3') flag++; else if (version == '12.1(20)EW2') flag++; else if (version == '12.1(20)EW1') flag++; else if (version == '12.1(20)EW') flag++; else if (version == '12.1(19)EW3') flag++; else if (version == '12.1(19)EW2') flag++; else if (version == '12.1(19)EW1') flag++; else if (version == '12.1(19)EW') flag++; else if (version == '12.1(13)EW4') flag++; else if (version == '12.1(13)EW3') flag++; else if (version == '12.1(13)EW2') flag++; else if (version == '12.1(13)EW1') flag++; else if (version == '12.1(13)EW') flag++; else if (version == '12.1(12c)EW4') flag++; else if (version == '12.1(12c)EW3') flag++; else if (version == '12.1(12c)EW2') flag++; else if (version == '12.1(12c)EW1') flag++; else if (version == '12.1(12c)EW') flag++; else if (version == '12.1(11b)EW1') flag++; else if (version == '12.1(11b)EW') flag++; else if (version == '12.1(8a)EW1') flag++; else if (version == '12.1(8a)EW') flag++; else if (version == '12.1(20)EU1') flag++; else if (version == '12.1(20)EU') 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)EC1') 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(4)EC') flag++; else if (version == '12.1(3a)EC1') flag++; else if (version == '12.1(3a)EC') flag++; else if (version == '12.1(2)EC1') flag++; else if (version == '12.1(2)EC') flag++; else if (version == '12.1(27b)E2') 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)E4') flag++; else if (version == '12.1(7a)E3') 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(5b)E7') 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)E1') 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)E6') flag++; else if (version == '12.1(3a)E5') flag++; else if (version == '12.1(3a)E4') flag++; else if (version == '12.1(3a)E3') 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)E6') flag++; else if (version == '12.1(1)E5') flag++; else if (version == '12.1(1)E4') 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(5)DC3') flag++; else if (version == '12.1(5)DC2') flag++; else if (version == '12.1(5)DC1') flag++; else if (version == '12.1(5)DC') flag++; else if (version == '12.1(4)DC3') flag++; else if (version == '12.1(4)DC2') flag++; else if (version == '12.1(3)DC2') flag++; else if (version == '12.1(3)DC1') flag++; else if (version == '12.1(3)DC') flag++; else if (version == '12.1(1)DC2') flag++; else if (version == '12.1(1)DC1') flag++; else if (version == '12.1(1)DC') flag++; else if (version == '12.1(7)DA3') flag++; else if (version == '12.1(7)DA2') flag++; else if (version == '12.1(7)DA1') flag++; else if (version == '12.1(7)DA') flag++; else if (version == '12.1(6)DA1') flag++; else if (version == '12.1(6)DA') flag++; else if (version == '12.1(5)DA1') flag++; else if (version == '12.1(5)DA') flag++; else if (version == '12.1(4)DA') flag++; else if (version == '12.1(7)CX1') flag++; else if (version == '12.1(7)CX') flag++; else if (version == '12.1(4)CX') 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(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)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)XJ6') flag++; else if (version == '12.0(4)XJ5') flag++; else if (version == '12.0(4)XJ4') flag++; else if (version == '12.0(4)XJ3') flag++; else if (version == '12.0(4)XJ2') flag++; else if (version == '12.0(4)XJ1') flag++; else if (version == '12.0(4)XJ') 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(2)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)XE2') 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(3)XE2') flag++; else if (version == '12.0(3)XE1') flag++; else if (version == '12.0(3)XE') flag++; else if (version == '12.0(2)XE4') flag++; else if (version == '12.0(2)XE3') flag++; else if (version == '12.0(2)XE2') flag++; else if (version == '12.0(2)XE1') flag++; else if (version == '12.0(2)XE') flag++; else if (version == '12.0(1)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)XA3') 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(30)SZ4') flag++; else if (version == '12.0(23)SZ3') flag++; else if (version == '12.0(21)SZ') flag++; else if (version == '12.0(32)SY3') flag++; else if (version == '12.0(32)SY2') flag++; else if (version == '12.0(32)SY1') flag++; else if (version == '12.0(32)SY') flag++; else if (version == '12.0(25)SX9') flag++; else if (version == '12.0(25)SX8') flag++; else if (version == '12.0(25)SX7') flag++; else if (version == '12.0(25)SX6e') flag++; else if (version == '12.0(25)SX6') flag++; else if (version == '12.0(25)SX5') flag++; else if (version == '12.0(25)SX4') flag++; else if (version == '12.0(25)SX3') flag++; else if (version == '12.0(25)SX2') flag++; else if (version == '12.0(25)SX10') flag++; else if (version == '12.0(25)SX1') flag++; else if (version == '12.0(25)SX') flag++; else if (version == '12.0(23)SX5') flag++; else if (version == '12.0(23)SX4') flag++; else if (version == '12.0(23)SX3') flag++; else if (version == '12.0(23)SX2') flag++; else if (version == '12.0(23)SX1') flag++; else if (version == '12.0(23)SX') flag++; else if (version == '12.0(21)SX1') flag++; else if (version == '12.0(21)SX') flag++; else if (version == '12.0(10)SX') flag++; else if (version == '12.0(28)SW1') flag++; else if (version == '12.0(21)ST7') flag++; else if (version == '12.0(21)ST6a') flag++; else if (version == '12.0(21)ST6') flag++; else if (version == '12.0(21)ST5') flag++; else if (version == '12.0(21)ST4') flag++; else if (version == '12.0(21)ST3a') flag++; else if (version == '12.0(21)ST3') flag++; else if (version == '12.0(21)ST2b') flag++; else if (version == '12.0(21)ST2a') flag++; else if (version == '12.0(21)ST2') flag++; else if (version == '12.0(21)ST1') flag++; else if (version == '12.0(21)ST') flag++; else if (version == '12.0(20)ST6') flag++; else if (version == '12.0(20)ST5') flag++; else if (version == '12.0(20)ST4') flag++; else if (version == '12.0(20)ST3') flag++; else if (version == '12.0(20)ST2') flag++; else if (version == '12.0(20)ST1') flag++; else if (version == '12.0(20)ST') flag++; else if (version == '12.0(19)ST6') flag++; else if (version == '12.0(19)ST5') flag++; else if (version == '12.0(19)ST4') flag++; else if (version == '12.0(19)ST3') flag++; else if (version == '12.0(19)ST2') flag++; else if (version == '12.0(19)ST1') flag++; else if (version == '12.0(19)ST') flag++; else if (version == '12.0(18)ST1') flag++; else if (version == '12.0(18)ST') flag++; else if (version == '12.0(17)ST8') flag++; else if (version == '12.0(17)ST7') flag++; else if (version == '12.0(17)ST6') flag++; else if (version == '12.0(17)ST5') flag++; else if (version == '12.0(17)ST4') flag++; else if (version == '12.0(17)ST3') flag++; else if (version == '12.0(17)ST2') flag++; else if (version == '12.0(17)ST1') flag++; else if (version == '12.0(17)ST') flag++; else if (version == '12.0(16)ST1') flag++; else if (version == '12.0(16)ST') flag++; else if (version == '12.0(14)ST3') flag++; else if (version == '12.0(14)ST2') flag++; else if (version == '12.0(14)ST1') flag++; else if (version == '12.0(14)ST') flag++; else if (version == '12.0(11)ST4') flag++; else if (version == '12.0(11)ST3') flag++; else if (version == '12.0(11)ST2') flag++; else if (version == '12.0(11)ST1') flag++; else if (version == '12.0(11)ST') flag++; else if (version == '12.0(10)ST2') flag++; else if (version == '12.0(10)ST1') flag++; else if (version == '12.0(10)ST') flag++; else if (version == '12.0(9)ST') flag++; else if (version == '12.0(21)SP4') flag++; else if (version == '12.0(21)SP3') flag++; else if (version == '12.0(21)SP2') flag++; else if (version == '12.0(21)SP1') flag++; else if (version == '12.0(21)SP') flag++; else if (version == '12.0(20)SP2') flag++; else if (version == '12.0(20)SP1') flag++; else if (version == '12.0(20)SP') flag++; else if (version == '12.0(19)SP') flag++; else if (version == '12.0(19)SL4') flag++; else if (version == '12.0(19)SL3') flag++; else if (version == '12.0(19)SL2') flag++; else if (version == '12.0(19)SL1') flag++; else if (version == '12.0(19)SL') flag++; else if (version == '12.0(17)SL8') flag++; else if (version == '12.0(17)SL6') flag++; else if (version == '12.0(17)SL5') flag++; else if (version == '12.0(17)SL4') flag++; else if (version == '12.0(17)SL3') flag++; else if (version == '12.0(17)SL2') flag++; else if (version == '12.0(17)SL1') flag++; else if (version == '12.0(17)SL') flag++; else if (version == '12.0(15)SL') flag++; else if (version == '12.0(14)SL1') flag++; else if (version == '12.0(14)SL') flag++; else if (version == '12.0(11)SL1') flag++; else if (version == '12.0(11)SL') flag++; else if (version == '12.0(10)SL') flag++; else if (version == '12.0(9)SL2') flag++; else if (version == '12.0(9)SL1') flag++; else if (version == '12.0(9)SL') flag++; else if (version == '12.0(16)SC3') flag++; else if (version == '12.0(16)SC2') flag++; else if (version == '12.0(16)SC1') flag++; else if (version == '12.0(16)SC') flag++; else if (version == '12.0(15)SC1') flag++; else if (version == '12.0(15)SC') flag++; else if (version == '12.0(14)SC') flag++; else if (version == '12.0(13)SC') flag++; else if (version == '12.0(12)SC') flag++; else if (version == '12.0(11)SC') flag++; else if (version == '12.0(10)SC1') flag++; else if (version == '12.0(10)SC') flag++; else if (version == '12.0(9)SC') flag++; else if (version == '12.0(8)SC1') flag++; else if (version == '12.0(8)SC') flag++; else if (version == '12.0(7)SC') flag++; else if (version == '12.0(6)SC') flag++; else if (version == '12.0(32)S7') flag++; else if (version == '12.0(32)S6') flag++; else if (version == '12.0(32)S5') flag++; else if (version == '12.0(32)S4') flag++; else if (version == '12.0(32)S3d') flag++; else if (version == '12.0(32)S3') flag++; else if (version == '12.0(32)S2') flag++; else if (version == '12.0(32)S1') flag++; else if (version == '12.0(32)S') flag++; else if (version == '12.0(31)S6') flag++; else if (version == '12.0(31)S5') flag++; else if (version == '12.0(31)S4') flag++; else if (version == '12.0(31)S3') flag++; else if (version == '12.0(31)S2') flag++; else if (version == '12.0(31)S1') flag++; else if (version == '12.0(31)S') flag++; else if (version == '12.0(30)S5') flag++; else if (version == '12.0(30)S4') flag++; else if (version == '12.0(30)S3') flag++; else if (version == '12.0(30)S2') flag++; else if (version == '12.0(30)S1') flag++; else if (version == '12.0(30)S') flag++; else if (version == '12.0(29)S1') flag++; else if (version == '12.0(29)S') flag++; else if (version == '12.0(28)S6') flag++; else if (version == '12.0(28)S5') flag++; else if (version == '12.0(28)S4') flag++; else if (version == '12.0(28)S3') flag++; else if (version == '12.0(28)S2') flag++; else if (version == '12.0(28)S1') flag++; else if (version == '12.0(28)S') flag++; else if (version == '12.0(27)S5') flag++; else if (version == '12.0(27)S4') flag++; else if (version == '12.0(27)S3') flag++; else if (version == '12.0(27)S2a') flag++; else if (version == '12.0(27)S2') flag++; else if (version == '12.0(27)S1') flag++; else if (version == '12.0(27)S') flag++; else if (version == '12.0(26)S6') flag++; else if (version == '12.0(26)S5') flag++; else if (version == '12.0(26)S4') flag++; else if (version == '12.0(26)S3') flag++; else if (version == '12.0(26)S2c') flag++; else if (version == '12.0(26)S2') flag++; else if (version == '12.0(26)S1') flag++; else if (version == '12.0(26)S') flag++; else if (version == '12.0(25)S4') flag++; else if (version == '12.0(25)S3') flag++; else if (version == '12.0(25)S2') flag++; else if (version == '12.0(25)S1d') flag++; else if (version == '12.0(25)S1c') flag++; else if (version == '12.0(25)S1b') flag++; else if (version == '12.0(25)S1a') flag++; else if (version == '12.0(25)S1') flag++; else if (version == '12.0(25)S') flag++; else if (version == '12.0(24)S6') flag++; else if (version == '12.0(24)S5') flag++; else if (version == '12.0(24)S4a') flag++; else if (version == '12.0(24)S4') flag++; else if (version == '12.0(24)S3') flag++; else if (version == '12.0(24)S2b') flag++; else if (version == '12.0(24)S2a') flag++; else if (version == '12.0(24)S2') flag++; else if (version == '12.0(24)S1') flag++; else if (version == '12.0(24)S') flag++; else if (version == '12.0(23)S6a') flag++; else if (version == '12.0(23)S6') flag++; else if (version == '12.0(23)S5') flag++; else if (version == '12.0(23)S4') flag++; else if (version == '12.0(23)S3c') flag++; else if (version == '12.0(23)S3b') flag++; else if (version == '12.0(23)S3a') flag++; else if (version == '12.0(23)S3') flag++; else if (version == '12.0(23)S2a') flag++; else if (version == '12.0(23)S2') flag++; else if (version == '12.0(23)S1') flag++; else if (version == '12.0(23)S') flag++; else if (version == '12.0(22)S6') flag++; else if (version == '12.0(22)S5a') flag++; else if (version == '12.0(22)S5') flag++; else if (version == '12.0(22)S4a') flag++; else if (version == '12.0(22)S4') flag++; else if (version == '12.0(22)S3c') flag++; else if (version == '12.0(22)S3b') flag++; else if (version == '12.0(22)S3a') flag++; else if (version == '12.0(22)S3') flag++; else if (version == '12.0(22)S2e') flag++; else if (version == '12.0(22)S2d') flag++; else if (version == '12.0(22)S2c') flag++; else if (version == '12.0(22)S2b') flag++; else if (version == '12.0(22)S2a') flag++; else if (version == '12.0(22)S2') flag++; else if (version == '12.0(22)S1') flag++; else if (version == '12.0(22)S') flag++; else if (version == '12.0(21)S8') flag++; else if (version == '12.0(21)S7') flag++; else if (version == '12.0(21)S6a') flag++; else if (version == '12.0(21)S6') flag++; else if (version == '12.0(21)S5a') flag++; else if (version == '12.0(21)S5') flag++; else if (version == '12.0(21)S4a') flag++; else if (version == '12.0(21)S4') flag++; else if (version == '12.0(21)S3') flag++; else if (version == '12.0(21)S2') flag++; else if (version == '12.0(21)S1') flag++; else if (version == '12.0(21)S') flag++; else if (version == '12.0(19)S4') flag++; else if (version == '12.0(19)S3') flag++; else if (version == '12.0(19)S2a') flag++; else if (version == '12.0(19)S2') flag++; else if (version == '12.0(19)S1') flag++; else if (version == '12.0(19)S') flag++; else if (version == '12.0(18)S7') flag++; else if (version == '12.0(18)S6') flag++; else if (version == '12.0(18)S5a') flag++; else if (version == '12.0(18)S5') flag++; else if (version == '12.0(18)S4') flag++; else if (version == '12.0(18)S3') flag++; else if (version == '12.0(18)S2') flag++; else if (version == '12.0(18)S1') flag++; else if (version == '12.0(18)S') flag++; else if (version == '12.0(17)S7') flag++; else if (version == '12.0(17)S6') flag++; else if (version == '12.0(17)S5') flag++; else if (version == '12.0(17)S4') flag++; else if (version == '12.0(17)S3') flag++; else if (version == '12.0(17)S2') flag++; else if (version == '12.0(17)S1') flag++; else if (version == '12.0(17)S') flag++; else if (version == '12.0(16)S9') flag++; else if (version == '12.0(16)S8a') flag++; else if (version == '12.0(16)S8') flag++; else if (version == '12.0(16)S7') flag++; else if (version == '12.0(16)S6') flag++; else if (version == '12.0(16)S5') flag++; else if (version == '12.0(16)S4') flag++; else if (version == '12.0(16)S3') flag++; else if (version == '12.0(16)S2') flag++; else if (version == '12.0(16)S10') flag++; else if (version == '12.0(16)S1') flag++; else if (version == '12.0(16)S') flag++; else if (version == '12.0(15)S7') flag++; else if (version == '12.0(15)S6') flag++; else if (version == '12.0(15)S5') flag++; else if (version == '12.0(15)S4') flag++; else if (version == '12.0(15)S3') flag++; else if (version == '12.0(15)S2') flag++; else if (version == '12.0(15)S1') flag++; else if (version == '12.0(15)S') flag++; else if (version == '12.0(14)S8') flag++; else if (version == '12.0(14)S7') flag++; else if (version == '12.0(14)S6') flag++; else if (version == '12.0(14)S5') flag++; else if (version == '12.0(14)S4') flag++; else if (version == '12.0(14)S3') flag++; else if (version == '12.0(14)S2') flag++; else if (version == '12.0(14)S1') flag++; else if (version == '12.0(14)S') flag++; else if (version == '12.0(13)S8') flag++; else if (version == '12.0(13)S6') flag++; else if (version == '12.0(13)S5') flag++; else if (version == '12.0(13)S4') flag++; else if (version == '12.0(13)S3') flag++; else if (version == '12.0(13)S2') flag++; else if (version == '12.0(13)S1') flag++; else if (version == '12.0(13)S') flag++; else if (version == '12.0(12)S4') flag++; else if (version == '12.0(12)S3') flag++; else if (version == '12.0(12)S2') flag++; else if (version == '12.0(12)S1') flag++; else if (version == '12.0(12)S') flag++; else if (version == '12.0(11)S6') flag++; else if (version == '12.0(11)S5') flag++; else if (version == '12.0(11)S4') flag++; else if (version == '12.0(11)S3') flag++; else if (version == '12.0(11)S2') flag++; else if (version == '12.0(11)S1') flag++; else if (version == '12.0(11)S') flag++; else if (version == '12.0(10)S8') flag++; else if (version == '12.0(10)S7') flag++; else if (version == '12.0(10)S5') flag++; else if (version == '12.0(10)S4') flag++; else if (version == '12.0(10)S3b') flag++; else if (version == '12.0(10)S3') flag++; else if (version == '12.0(10)S2') flag++; else if (version == '12.0(10)S1') flag++; else if (version == '12.0(10)S') flag++; else if (version == '12.0(9)S8') flag++; else if (version == '12.0(9)S') flag++; else if (version == '12.0(8)S1') flag++; else if (version == '12.0(8)S') flag++; else if (version == '12.0(7)S1') flag++; else if (version == '12.0(7)S') flag++; else if (version == '12.0(6)S2') flag++; else if (version == '12.0(6)S1') flag++; else if (version == '12.0(6)S') flag++; else if (version == '12.0(5)S') flag++; else if (version == '12.0(4)S') flag++; else if (version == '12.0(3)S') flag++; else if (version == '12.0(2)S') flag++; else if (version == '12.0(7)DC1') flag++; else if (version == '12.0(7)DC') 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(18a)') 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(4a)') flag++; else if (version == '12.0(4)') flag++; else if (version == '12.0(3d)') flag++; else if (version == '12.0(3c)') 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(1a)') 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_running-config", "show running-config"); if (check_cisco_result(buf)) { if (preg(pattern:"ip nhrp network-id", 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_processes", "show processes"); if (check_cisco_result(buf)) { if (preg(pattern:"NHRP", multiline:TRUE, string:buf)) { flag = 1; } } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; } } } if (flag) { security_hole(port:0, extra:cisco_caveat(override)); exit(0); } else audit(AUDIT_HOST_NOT, "affected");

Oval

accepted

2008-09-08T04:00:35.305-04:00

class

vulnerability

contributors

name	Yuzheng Zhou
organization	Hewlett-Packard

description

family

ios

oval:org.mitre.oval:def:5675

status

accepted

submitted

2008-05-26T11:06:36.000-04:00

title

Cisco IOS Next Hop Resolution Protocol Buffer Overflow Vulnerability

version

Summary

Vulnerable Configurations

Common Weakness Enumeration (CWE)

Common Attack Pattern Enumeration and Classification (CAPEC)

Exploit-Db

Nessus

Oval

References