Vulnerabilities > CVE-2008-4963 - Unspecified vulnerability in Cisco Catos and IOS

CVSS 0.0 - NONE

Attack vector

UNKNOWN

Attack complexity

UNKNOWN

Privileges required

UNKNOWN

Confidentiality impact

UNKNOWN

Integrity impact

UNKNOWN

Availability impact

UNKNOWN

cisco

nessus

NVD

Published: 2008-11-06

Updated: 2024-11-21

Summary

Unspecified vulnerability in the VLAN Trunking Protocol (VTP) implementation on Cisco IOS and CatOS, when the VTP operating mode is not transparent, allows remote attackers to cause a denial of service (device reload or hang) via a crafted VTP packet sent to a switch interface configured as a trunk port.

Vulnerable Configurations

Part	Description	Count
OS	Cisco Cisco IOS * Cisco Catos *	2

Nessus

NASL family	CISCO
NASL id	CISCO-SR-20081105-VTP.NASL
description	The VTP protocol implementation in Cisco IOS is potentially vulnerable to a denial of service attack via a specially crafted VTP packet sent from the local network segment when operating in either server or client VTP mode. When the device receives the specially crafted VTP packet, the switch may crash. The crafted packet must be received on a switch interface configured to operate as a trunk port.
last seen	2020-03-17
modified	2012-01-10
plugin id	17792
published	2012-01-10
reporter	This script is Copyright (C) 2012-2018 Tenable Network Security, Inc.
source	https://www.tenable.com/plugins/nessus/17792
title	Cisco VLAN Trunking Protocol Vulnerability (cisco-sr-20081105-vtp)
code	#TRUSTED 0227fe012f44944ccb4d9cc87397bb406de31437634494e7a4bbfb42de29e892223422f1d836faf4d78b982bf7c108d69aa099dcd52ab36e332f09f4ef26707ea5562da71f0d0c67add636f86e6ac3260eeb15ae2ae779fc7d6f6584bba698e85897376c338b91b7cb17b4e6280f1c113a0630528daca5f38fa73e19c7bc8a97b11ef5ed1c40ed3da1962511d309b714c9be66cf8561c32c7dafd2d5bae83d7d1076bf5cd2b4df01b78fdcfb819c4681d3ae0662af183cb9deb0cf61f6ac4983e8ecea66a9d9a40fb8650441ed4def56f83a80528210a94ffb26db02dae3565c121d8afbf6f4466bea749d52d29aaa1af19d0c33d43c399ac77bbaedf1f544441b4264eeb9e89a8c50ea92f29bbb87f29398e93a12525e59c68d92475c24684afca0c4ef9e8dc119e4ba2ce01175682de479d8667752f836517d1f53a1bd6b5b3c4c7801d0b6d46f717daf7815a9fd0c298cf1e3bf2983e06b9f3ef78a3c02d18bd367fb1cdc6ee616fb987ff7b1cb2a633bc21d1cfd668ebcafaf5a85abad4a504566cc894b34bdb531ee6c9e84b0958232f3c1a314499f43e4bd596ed599f13cf19604d8a5036d47de7dd96120f0d72cb6058eb0c69d10a2de8c865bac078c8ea1ea0abc30cd3a5a992d28162f2e4db63adacd25466a5950f3ac3631c1c3310d51b3a8f58600d65faac095ae113e121c047cc4382bd06a66dd9e9f77c9ccbb # # (C) Tenable Network Security, Inc. # include("compat.inc"); if (description) { script_id(17792); script_version("1.19"); script_set_attribute(attribute:"plugin_modification_date", value:"2018/11/15"); script_cve_id("CVE-2008-4963"); script_bugtraq_id(32120); script_xref(name:"CISCO-BUG-ID", value:"CSCsv05934"); script_xref(name:"CISCO-BUG-ID", value:"CSCsv54651"); script_xref(name:"CISCO-BUG-ID", value:"CSCsv11741"); script_xref(name:"CISCO-SA", value:"cisco-sr-20081105-vtp"); script_name(english:"Cisco VLAN Trunking Protocol Vulnerability (cisco-sr-20081105-vtp)"); 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 VTP protocol implementation in Cisco IOS is potentially vulnerable to a denial of service attack via a specially crafted VTP packet sent from the local network segment when operating in either server or client VTP mode. When the device receives the specially crafted VTP packet, the switch may crash. The crafted packet must be received on a switch interface configured to operate as a trunk port."); # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20081105-vtp script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?76d1c9e0"); script_set_attribute(attribute:"see_also", value:"https://seclists.org/fulldisclosure/2009/Jan/548"); script_set_attribute(attribute:"solution", value: "Apply the relevant patch which can be obtained from the Cisco Bug tracker."); script_set_cvss_base_vector("CVSS2#AV:A/AC:M/Au:N/C:N/I:N/A:C"); script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C"); script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available"); script_set_attribute(attribute:"exploit_available", value:"false"); script_set_attribute(attribute:"cvss_score_source", value:"CVE-2008-4963"); script_set_attribute(attribute:"cvss_score_rationale", value:"Tenable's Impact score for Availability has been lowered to Partial for this DoS."); script_set_attribute(attribute:"vuln_publication_date", value:"2008/11/05"); script_set_attribute(attribute:"patch_publication_date", value:"2008/11/05"); script_set_attribute(attribute:"plugin_publication_date", value:"2012/01/10"); script_set_attribute(attribute:"plugin_type", value:"combined"); script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios"); script_end_attributes(); script_category(ACT_GATHER_INFO); script_family(english:"CISCO"); script_copyright(english:"This script is Copyright (C) 2012-2018 Tenable Network Security, Inc."); script_dependencies("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; override = 0; version = get_kb_item_or_exit('Host/Cisco/IOS/Version'); if (version == '12.2(0)TEST') flag++; else if (version == '12.2(12g)TEST') flag++; else if (version == '12.2(12h)SAVE') flag++; else if (version == '12.2(18)SXD3') flag++; else if (version == '12.2(18)SXD4') flag++; else if (version == '12.2(18)SXD5') flag++; else if (version == '12.2(18)SXD6') flag++; else if (version == '12.2(18)SXD7') flag++; else if (version == '12.2(18)SXD7a') flag++; else if (version == '12.2(18)SXD7b') flag++; else if (version == '12.2(18)SXE') flag++; else if (version == '12.2(18)SXE1') flag++; else if (version == '12.2(18)SXE2') flag++; else if (version == '12.2(18)SXE3') flag++; else if (version == '12.2(18)SXE4') flag++; else if (version == '12.2(18)SXE5') flag++; else if (version == '12.2(18)SXE6') flag++; else if (version == '12.2(18)SXE6a') flag++; else if (version == '12.2(18)SXE6b') flag++; else if (version == '12.2(18)SXF') flag++; else if (version == '12.2(18)SXF1') flag++; else if (version == '12.2(18)SXF10') flag++; else if (version == '12.2(18)SXF10a') flag++; else if (version == '12.2(18)SXF11') flag++; else if (version == '12.2(18)SXF12') flag++; else if (version == '12.2(18)SXF12a') flag++; else if (version == '12.2(18)SXF13') flag++; else if (version == '12.2(18)SXF13a') flag++; else if (version == '12.2(18)SXF13b') flag++; else if (version == '12.2(18)SXF14') flag++; else if (version == '12.2(18)SXF15') flag++; else if (version == '12.2(18)SXF15a') flag++; else if (version == '12.2(18)SXF2') flag++; else if (version == '12.2(18)SXF3') flag++; else if (version == '12.2(18)SXF4') flag++; else if (version == '12.2(18)SXF5') flag++; else if (version == '12.2(18)SXF6') flag++; else if (version == '12.2(18)SXF7') flag++; else if (version == '12.2(18)SXF8') flag++; else if (version == '12.2(18)SXF9') flag++; else if (version == '12.2(18)ZYA') flag++; else if (version == '12.2(19)SAVE') flag++; else if (version == '12.2(21)BASE') flag++; else if (version == '12.2(27)SBKA1') flag++; else if (version == '12.2(27)SBKA2') flag++; else if (version == '12.2(27)SBKA3') flag++; else if (version == '12.2(27)SBKA4') flag++; else if (version == '12.2(27)SBKA5') flag++; else if (version == '12.2(27)SBKB') flag++; else if (version == '12.2(27)SBKB1') flag++; else if (version == '12.2(27)SBKB10') flag++; else if (version == '12.2(27)SBKB2') flag++; else if (version == '12.2(27)SBKB3') flag++; else if (version == '12.2(27)SBKB4') flag++; else if (version == '12.2(27)SBKB5') flag++; else if (version == '12.2(27)SBKB6') flag++; else if (version == '12.2(27)SBKB8') flag++; else if (version == '12.2(27)SBKB9') flag++; else if (version == '12.2(27)TEST2') flag++; else if (version == '12.2(27)TST11') flag++; else if (version == '12.2(27)TST8') flag++; else if (version == '12.2(31)TST5') flag++; else if (version == '12.2(33r)XNB') flag++; else if (version == '12.2(33r)XNC') flag++; else if (version == '12.2(33)SXH') flag++; else if (version == '12.2(33)SXH0a') flag++; else if (version == '12.2(33)SXH1') flag++; else if (version == '12.2(33)SXH2') flag++; else if (version == '12.2(33)SXH2a') flag++; else if (version == '12.2(33)SXH3') flag++; else if (version == '12.2(33)SXH3a') flag++; else if (version == '12.2(33)SXH4') flag++; else if (version == '12.2(33)SXI') flag++; else if (version == '12.2(33)XNA') flag++; else if (version == '12.2(33)XNA1') flag++; else if (version == '12.2(33)XNA2') flag++; else if (version == '12.2(33)XNB') flag++; else if (version == '12.2(33)XNB1') flag++; else if (version == '12.2(33)XNB2') flag++; else if (version == '12.2(33)XNB2b') flag++; else if (version == '12.2(6c)TEST') flag++; else if (version == '12.2(73)TST') flag++; else if (version == '12.2(8)TPC10a') flag++; else if (version == '12.2(8)TPC10b') flag++; else if (version == '12.2(8)TPC10c') flag++; else if (version == '12.2(92)TST') flag++; else if (version == '12.2(92)TST1') flag++; else if (version == '12.2(92)TST2') flag++; else if (version == '12.2(9909)TEST') flag++; else if (version == '12.2(99)TEST2') flag++; else if (version == '12.3(1)') flag++; else if (version == '12.3(10)') flag++; else if (version == '12.3(10)') flag++; else if (version == '12.3(10a)') flag++; else if (version == '12.3(10a)') flag++; else if (version == '12.3(10a)M0') flag++; else if (version == '12.3(10a)M0') flag++; else if (version == '12.3(10b)') flag++; else if (version == '12.3(10b)') flag++; else if (version == '12.3(10c)') flag++; else if (version == '12.3(10c)') flag++; else if (version == '12.3(10d)') flag++; else if (version == '12.3(10d)') flag++; else if (version == '12.3(10e)') flag++; else if (version == '12.3(10e)') flag++; else if (version == '12.3(10f)') flag++; else if (version == '12.3(10f)') flag++; else if (version == '12.3(10r)') flag++; else if (version == '12.3(11)JA') flag++; else if (version == '12.3(11)JA') flag++; else if (version == '12.3(11)JA1') flag++; else if (version == '12.3(11)JA1') flag++; else if (version == '12.3(11)JA2') flag++; else if (version == '12.3(11)JA2') flag++; else if (version == '12.3(11)JA3') flag++; else if (version == '12.3(11)JA3') flag++; else if (version == '12.3(11)JA4') flag++; else if (version == '12.3(11)JA4') flag++; else if (version == '12.3(11)JX') flag++; else if (version == '12.3(11)JX') flag++; else if (version == '12.3(11)JX1') flag++; else if (version == '12.3(11)JX1') flag++; else if (version == '12.3(11r)T') flag++; else if (version == '12.3(11r)T') flag++; else if (version == '12.3(11r)T1') flag++; else if (version == '12.3(11r)T1') flag++; else if (version == '12.3(11r)T2') flag++; else if (version == '12.3(11r)T2') flag++; else if (version == '12.3(11)T') flag++; else if (version == '12.3(11)T') flag++; else if (version == '12.3(11)T1') flag++; else if (version == '12.3(11)T1') flag++; else if (version == '12.3(11)T10') flag++; else if (version == '12.3(11)T10') flag++; else if (version == '12.3(11)T11') flag++; else if (version == '12.3(11)T11') flag++; else if (version == '12.3(11)T12') flag++; else if (version == '12.3(11)T12') flag++; else if (version == '12.3(11)T2') flag++; else if (version == '12.3(11)T2') flag++; else if (version == '12.3(11)T2a') flag++; else if (version == '12.3(11)T2a') flag++; else if (version == '12.3(11)T3') flag++; else if (version == '12.3(11)T3') flag++; else if (version == '12.3(11)T4') flag++; else if (version == '12.3(11)T4') flag++; else if (version == '12.3(11)T5') flag++; else if (version == '12.3(11)T5') flag++; else if (version == '12.3(11)T6') flag++; else if (version == '12.3(11)T6') flag++; else if (version == '12.3(11)T7') flag++; else if (version == '12.3(11)T7') flag++; else if (version == '12.3(11)T8') flag++; else if (version == '12.3(11)T8') flag++; else if (version == '12.3(11)T9') flag++; else if (version == '12.3(11)T9') flag++; else if (version == '12.3(11)TO3') flag++; else if (version == '12.3(11)TO3') flag++; else if (version == '12.3(11)XL') flag++; else if (version == '12.3(11)XL') flag++; else if (version == '12.3(11)XL1') flag++; else if (version == '12.3(11)XL1') flag++; else if (version == '12.3(11)XL2') flag++; else if (version == '12.3(11)XL2') flag++; else if (version == '12.3(11)XL3') flag++; else if (version == '12.3(11)XL3') flag++; else if (version == '12.3(11)YF') flag++; else if (version == '12.3(11)YF') flag++; else if (version == '12.3(11)YF1') flag++; else if (version == '12.3(11)YF1') flag++; else if (version == '12.3(11)YF2') flag++; else if (version == '12.3(11)YF2') flag++; else if (version == '12.3(11)YF3') flag++; else if (version == '12.3(11)YF3') flag++; else if (version == '12.3(11)YF4') flag++; else if (version == '12.3(11)YF4') flag++; else if (version == '12.3(11)YJ') flag++; else if (version == '12.3(11)YJ') flag++; else if (version == '12.3(11)YK') flag++; else if (version == '12.3(11)YK') flag++; else if (version == '12.3(11)YK1') flag++; else if (version == '12.3(11)YK1') flag++; else if (version == '12.3(11)YK2') flag++; else if (version == '12.3(11)YK2') flag++; else if (version == '12.3(11)YK3') flag++; else if (version == '12.3(11)YK3') flag++; else if (version == '12.3(11)YL') flag++; else if (version == '12.3(11)YL') flag++; else if (version == '12.3(11)YL1') flag++; else if (version == '12.3(11)YL1') flag++; else if (version == '12.3(11)YL2') flag++; else if (version == '12.3(11)YL2') flag++; else if (version == '12.3(11)YN') flag++; else if (version == '12.3(11)YN') flag++; else if (version == '12.3(11)YR') flag++; else if (version == '12.3(11)YR') flag++; else if (version == '12.3(11)YR1') flag++; else if (version == '12.3(11)YR1') flag++; else if (version == '12.3(11)YS') flag++; else if (version == '12.3(11)YS') flag++; else if (version == '12.3(11)YS1') flag++; else if (version == '12.3(11)YS1') flag++; else if (version == '12.3(11)YS2') flag++; else if (version == '12.3(11)YS2') flag++; else if (version == '12.3(11)YW') flag++; else if (version == '12.3(11)YW') flag++; else if (version == '12.3(11)YW1') flag++; else if (version == '12.3(11)YW1') flag++; else if (version == '12.3(11)YW2') flag++; else if (version == '12.3(11)YW2') flag++; else if (version == '12.3(11)YW3') flag++; else if (version == '12.3(11)YW3') flag++; else if (version == '12.3(11)YZ') flag++; else if (version == '12.3(11)YZ') flag++; else if (version == '12.3(11)YZ1') flag++; else if (version == '12.3(11)YZ1') flag++; else if (version == '12.3(11)YZ2') flag++; else if (version == '12.3(11)YZ2') flag++; else if (version == '12.3(11)ZB') flag++; else if (version == '12.3(11)ZB') flag++; else if (version == '12.3(11)ZB1') flag++; else if (version == '12.3(11)ZB1') flag++; else if (version == '12.3(11)ZB2') flag++; else if (version == '12.3(11)ZB2') flag++; else if (version == '12.3(12)') flag++; else if (version == '12.3(12)') flag++; else if (version == '12.3(12a)') flag++; else if (version == '12.3(12a)') flag++; else if (version == '12.3(12b)') flag++; else if (version == '12.3(12b)') flag++; else if (version == '12.3(12c)') flag++; else if (version == '12.3(12c)') flag++; else if (version == '12.3(12d)') flag++; else if (version == '12.3(12d)') flag++; else if (version == '12.3(12e)') flag++; else if (version == '12.3(12e)') flag++; else if (version == '12.3(12r)T') flag++; else if (version == '12.3(12r)T') flag++; else if (version == '12.3(12r)T1') flag++; else if (version == '12.3(12r)T1') flag++; else if (version == '12.3(12r)T2') flag++; else if (version == '12.3(12r)T2') flag++; else if (version == '12.3(13)') flag++; else if (version == '12.3(13)') flag++; else if (version == '12.3(13a)') flag++; else if (version == '12.3(13a)') flag++; else if (version == '12.3(13a)BC') flag++; else if (version == '12.3(13a)BC') flag++; else if (version == '12.3(13a)BC1') flag++; else if (version == '12.3(13a)BC1') flag++; else if (version == '12.3(13a)BC2') flag++; else if (version == '12.3(13a)BC2') flag++; else if (version == '12.3(13a)BC3') flag++; else if (version == '12.3(13a)BC3') flag++; else if (version == '12.3(13a)BC4') flag++; else if (version == '12.3(13a)BC4') flag++; else if (version == '12.3(13a)BC5') flag++; else if (version == '12.3(13a)BC5') flag++; else if (version == '12.3(13a)BC6') flag++; else if (version == '12.3(13a)BC6') flag++; else if (version == '12.3(13b)') flag++; else if (version == '12.3(13b)') flag++; else if (version == '12.3(14r)T') flag++; else if (version == '12.3(14r)T1') flag++; else if (version == '12.3(14)T') flag++; else if (version == '12.3(14)T') flag++; else if (version == '12.3(14)T1') flag++; else if (version == '12.3(14)T1') flag++; else if (version == '12.3(14)T2') flag++; else if (version == '12.3(14)T2') flag++; else if (version == '12.3(14)T3') flag++; else if (version == '12.3(14)T4') flag++; else if (version == '12.3(14)T4') flag++; else if (version == '12.3(14)T5') flag++; else if (version == '12.3(14)T5') flag++; else if (version == '12.3(14)T6') flag++; else if (version == '12.3(14)T6') flag++; else if (version == '12.3(14)T7') flag++; else if (version == '12.3(14)T7') flag++; else if (version == '12.3(14)YM') flag++; else if (version == '12.3(14)YM') flag++; else if (version == '12.3(14)YM0707') flag++; else if (version == '12.3(14)YM0707') flag++; else if (version == '12.3(14)YM1') flag++; else if (version == '12.3(14)YM1') flag++; else if (version == '12.3(14)YM10') flag++; else if (version == '12.3(14)YM10') flag++; else if (version == '12.3(14)YM11') flag++; else if (version == '12.3(14)YM11') flag++; else if (version == '12.3(14)YM12') flag++; else if (version == '12.3(14)YM12') flag++; else if (version == '12.3(14)YM13') flag++; else if (version == '12.3(14)YM13') flag++; else if (version == '12.3(14)YM2') flag++; else if (version == '12.3(14)YM2') flag++; else if (version == '12.3(14)YM3') flag++; else if (version == '12.3(14)YM3') flag++; else if (version == '12.3(14)YM4') flag++; else if (version == '12.3(14)YM4') flag++; else if (version == '12.3(14)YM5') flag++; else if (version == '12.3(14)YM5') flag++; else if (version == '12.3(14)YM6') flag++; else if (version == '12.3(14)YM6') flag++; else if (version == '12.3(14)YM7') flag++; else if (version == '12.3(14)YM7') flag++; else if (version == '12.3(14)YM8') flag++; else if (version == '12.3(14)YM8') flag++; else if (version == '12.3(14)YM9') flag++; else if (version == '12.3(14)YM9') flag++; else if (version == '12.3(14)YQ') flag++; else if (version == '12.3(14)YQ') flag++; else if (version == '12.3(14)YQ051806') flag++; else if (version == '12.3(14)YQ051806') flag++; else if (version == '12.3(14)YQ1') flag++; else if (version == '12.3(14)YQ1') flag++; else if (version == '12.3(14)YQ2') flag++; else if (version == '12.3(14)YQ2') flag++; else if (version == '12.3(14)YQ3') flag++; else if (version == '12.3(14)YQ3') flag++; else if (version == '12.3(14)YQ4') flag++; else if (version == '12.3(14)YQ4') flag++; else if (version == '12.3(14)YQ5') flag++; else if (version == '12.3(14)YQ5') flag++; else if (version == '12.3(14)YQ6') flag++; else if (version == '12.3(14)YQ6') flag++; else if (version == '12.3(14)YQ7') flag++; else if (version == '12.3(14)YQ7') flag++; else if (version == '12.3(14)YQ8') flag++; else if (version == '12.3(14)YQ8') flag++; else if (version == '12.3(14)YT') flag++; else if (version == '12.3(14)YT') flag++; else if (version == '12.3(14)YT1') flag++; else if (version == '12.3(14)YT1') flag++; else if (version == '12.3(14)YU') flag++; else if (version == '12.3(14)YU') flag++; else if (version == '12.3(14)YU1') flag++; else if (version == '12.3(14)YU1') flag++; else if (version == '12.3(14)YX') flag++; else if (version == '12.3(14)YX') flag++; else if (version == '12.3(14)YX1') flag++; else if (version == '12.3(14)YX1') flag++; else if (version == '12.3(14)YX10') flag++; else if (version == '12.3(14)YX10') flag++; else if (version == '12.3(14)YX11') flag++; else if (version == '12.3(14)YX11') flag++; else if (version == '12.3(14)YX12') flag++; else if (version == '12.3(14)YX12') flag++; else if (version == '12.3(14)YX13') flag++; else if (version == '12.3(14)YX13') flag++; else if (version == '12.3(14)YX14') flag++; else if (version == '12.3(14)YX14') flag++; else if (version == '12.3(14)YX15') flag++; else if (version == '12.3(14)YX15') flag++; else if (version == '12.3(14)YX16') flag++; else if (version == '12.3(14)YX16') flag++; else if (version == '12.3(14)YX17') flag++; else if (version == '12.3(14)YX17') flag++; else if (version == '12.3(14)YX2') flag++; else if (version == '12.3(14)YX2') flag++; else if (version == '12.3(14)YX3') flag++; else if (version == '12.3(14)YX3') flag++; else if (version == '12.3(14)YX4') flag++; else if (version == '12.3(14)YX4') flag++; else if (version == '12.3(14)YX5') flag++; else if (version == '12.3(14)YX5') flag++; else if (version == '12.3(14)YX7') flag++; else if (version == '12.3(14)YX7') flag++; else if (version == '12.3(14)YX8') flag++; else if (version == '12.3(14)YX8') flag++; else if (version == '12.3(14)YX9') flag++; else if (version == '12.3(14)YX9') flag++; else if (version == '12.3(15)') flag++; else if (version == '12.3(15)') flag++; else if (version == '12.3(15a)') flag++; else if (version == '12.3(15a)') flag++; else if (version == '12.3(15b)') flag++; else if (version == '12.3(15b)') flag++; else if (version == '12.3(16)') flag++; else if (version == '12.3(16)') flag++; else if (version == '12.3(16a)') flag++; else if (version == '12.3(16a)') flag++; else if (version == '12.3(17)') flag++; else if (version == '12.3(17)') flag++; else if (version == '12.3(17a)') flag++; else if (version == '12.3(17a)') flag++; else if (version == '12.3(17a)BC') flag++; else if (version == '12.3(17a)BC') flag++; else if (version == '12.3(17a)BC1') flag++; else if (version == '12.3(17a)BC1') flag++; else if (version == '12.3(17a)BC2') flag++; else if (version == '12.3(17a)BC2') flag++; else if (version == '12.3(17b)') flag++; else if (version == '12.3(17b)') flag++; else if (version == '12.3(17b)BC3') flag++; else if (version == '12.3(17b)BC3') flag++; else if (version == '12.3(17b)BC4') flag++; else if (version == '12.3(17b)BC4') flag++; else if (version == '12.3(17b)BC5') flag++; else if (version == '12.3(17b)BC5') flag++; else if (version == '12.3(17b)BC6') flag++; else if (version == '12.3(17b)BC6') flag++; else if (version == '12.3(17b)BC7') flag++; else if (version == '12.3(17b)BC7') flag++; else if (version == '12.3(17b)BC8') flag++; else if (version == '12.3(17b)BC8') flag++; else if (version == '12.3(17b)BC9') flag++; else if (version == '12.3(17b)BC9') flag++; else if (version == '12.3(17c)') flag++; else if (version == '12.3(17c)') flag++; else if (version == '12.3(18)') flag++; else if (version == '12.3(18)') flag++; else if (version == '12.3(18a)') flag++; else if (version == '12.3(18a)') flag++; else if (version == '12.3(18r)S1') flag++; else if (version == '12.3(18r)S2') flag++; else if (version == '12.3(18r)SX1') flag++; else if (version == '12.3(19)') flag++; else if (version == '12.3(19)') flag++; else if (version == '12.3(19a)') flag++; else if (version == '12.3(19a)') flag++; else if (version == '12.3(1a)') flag++; else if (version == '12.3(1a)B') flag++; else if (version == '12.3(1a)BW') flag++; else if (version == '12.3(1a)BW') flag++; else if (version == '12.3(1)FIPS140') flag++; else if (version == '12.3(1)FIPS140') flag++; else if (version == '12.3(1r)T') flag++; else if (version == '12.3(1r)T') flag++; else if (version == '12.3(1r)T1') flag++; else if (version == '12.3(1r)T1') flag++; else if (version == '12.3(20)') flag++; else if (version == '12.3(20)') flag++; else if (version == '12.3(20a)') flag++; else if (version == '12.3(20a)') flag++; else if (version == '12.3(21)') flag++; else if (version == '12.3(21)') flag++; else if (version == '12.3(21a)') flag++; else if (version == '12.3(21a)') flag++; else if (version == '12.3(21a)BC1') flag++; else if (version == '12.3(21a)BC1') flag++; else if (version == '12.3(21a)BC2') flag++; else if (version == '12.3(21a)BC2') flag++; else if (version == '12.3(21a)BC3') flag++; else if (version == '12.3(21a)BC3') flag++; else if (version == '12.3(21a)BC4') flag++; else if (version == '12.3(21a)BC4') flag++; else if (version == '12.3(21a)BC5') flag++; else if (version == '12.3(21a)BC5') flag++; else if (version == '12.3(21a)BC6') flag++; else if (version == '12.3(21a)BC6') flag++; else if (version == '12.3(21a)BC7') flag++; else if (version == '12.3(21a)BC7') flag++; else if (version == '12.3(21a)BC8') flag++; else if (version == '12.3(21a)BC8') flag++; else if (version == '12.3(21a)BC9') flag++; else if (version == '12.3(21a)BC9') flag++; else if (version == '12.3(21b)') flag++; else if (version == '12.3(21b)') flag++; else if (version == '12.3(21)BC') flag++; else if (version == '12.3(21)BC') flag++; else if (version == '12.3(21)BC20090622') flag++; else if (version == '12.3(21)BC20090622') flag++; else if (version == '12.3(21)BC20090629') flag++; else if (version == '12.3(21)BC20090629') flag++; else if (version == '12.3(21)BC20090706') flag++; else if (version == '12.3(21)BC20090706') flag++; else if (version == '12.3(21)BC20090707') flag++; else if (version == '12.3(21)BC20090707') flag++; else if (version == '12.3(21)BC20090728') flag++; else if (version == '12.3(21)BC20090728') flag++; else if (version == '12.3(22)') flag++; else if (version == '12.3(22)') flag++; else if (version == '12.3(22a)') flag++; else if (version == '12.3(22a)') flag++; else if (version == '12.3(23)') flag++; else if (version == '12.3(23)') flag++; else if (version == '12.3(23)BC') flag++; else if (version == '12.3(23)BC') flag++; else if (version == '12.3(23)BC080326') flag++; else if (version == '12.3(23)BC080326') flag++; else if (version == '12.3(23)BC080422') flag++; else if (version == '12.3(23)BC080422') flag++; else if (version == '12.3(23)BC080423') flag++; else if (version == '12.3(23)BC080423') flag++; else if (version == '12.3(23)BC1') flag++; else if (version == '12.3(23)BC1') flag++; else if (version == '12.3(23)BC10') flag++; else if (version == '12.3(23)BC2') flag++; else if (version == '12.3(23)BC2') flag++; else if (version == '12.3(23)BC20081211') flag++; else if (version == '12.3(23)BC20081211') flag++; else if (version == '12.3(23)BC20081213') flag++; else if (version == '12.3(23)BC20081213') flag++; else if (version == '12.3(23)BC20081215') flag++; else if (version == '12.3(23)BC20081215') flag++; else if (version == '12.3(23)BC20081217') flag++; else if (version == '12.3(23)BC20081217') flag++; else if (version == '12.3(23)BC20081218') flag++; else if (version == '12.3(23)BC20081218') flag++; else if (version == '12.3(23)BC20081224') flag++; else if (version == '12.3(23)BC20081224') flag++; else if (version == '12.3(23)BC20081225') flag++; else if (version == '12.3(23)BC20081225') flag++; else if (version == '12.3(23)BC20090101') flag++; else if (version == '12.3(23)BC20090101') flag++; else if (version == '12.3(23)BC20090107') flag++; else if (version == '12.3(23)BC20090107') flag++; else if (version == '12.3(23)BC20090108') flag++; else if (version == '12.3(23)BC20090108') flag++; else if (version == '12.3(23)BC20090114') flag++; else if (version == '12.3(23)BC20090114') flag++; else if (version == '12.3(23)BC20090121') flag++; else if (version == '12.3(23)BC20090121') flag++; else if (version == '12.3(23)BC20090124') flag++; else if (version == '12.3(23)BC20090124') flag++; else if (version == '12.3(23)BC20090128') flag++; else if (version == '12.3(23)BC20090128') flag++; else if (version == '12.3(23)BC20090131') flag++; else if (version == '12.3(23)BC20090131') flag++; else if (version == '12.3(23)BC20090204') flag++; else if (version == '12.3(23)BC20090204') flag++; else if (version == '12.3(23)BC20090207') flag++; else if (version == '12.3(23)BC20090207') flag++; else if (version == '12.3(23)BC20090211') flag++; else if (version == '12.3(23)BC20090211') flag++; else if (version == '12.3(23)BC20090214') flag++; else if (version == '12.3(23)BC20090214') flag++; else if (version == '12.3(23)BC20090218') flag++; else if (version == '12.3(23)BC20090218') flag++; else if (version == '12.3(23)BC20090221') flag++; else if (version == '12.3(23)BC20090221') flag++; else if (version == '12.3(23)BC20090225') flag++; else if (version == '12.3(23)BC20090225') flag++; else if (version == '12.3(23)BC20090228') flag++; else if (version == '12.3(23)BC20090228') flag++; else if (version == '12.3(23)BC20090304') flag++; else if (version == '12.3(23)BC20090304') flag++; else if (version == '12.3(23)BC20090305') flag++; else if (version == '12.3(23)BC20090305') flag++; else if (version == '12.3(23)BC20090311') flag++; else if (version == '12.3(23)BC20090311') flag++; else if (version == '12.3(23)BC20090312') flag++; else if (version == '12.3(23)BC20090312') flag++; else if (version == '12.3(23)BC20090313') flag++; else if (version == '12.3(23)BC20090313') flag++; else if (version == '12.3(23)BC20090318') flag++; else if (version == '12.3(23)BC20090318') flag++; else if (version == '12.3(23)BC20090321') flag++; else if (version == '12.3(23)BC20090321') flag++; else if (version == '12.3(23)BC20090325') flag++; else if (version == '12.3(23)BC20090325') flag++; else if (version == '12.3(23)BC20090408') flag++; else if (version == '12.3(23)BC20090408') flag++; else if (version == '12.3(23)BC20090411') flag++; else if (version == '12.3(23)BC20090411') flag++; else if (version == '12.3(23)BC20090415') flag++; else if (version == '12.3(23)BC20090415') flag++; else if (version == '12.3(23)BC20090418') flag++; else if (version == '12.3(23)BC20090418') flag++; else if (version == '12.3(23)BC20090422') flag++; else if (version == '12.3(23)BC20090422') flag++; else if (version == '12.3(23)BC20090425') flag++; else if (version == '12.3(23)BC20090425') flag++; else if (version == '12.3(23)BC20090429') flag++; else if (version == '12.3(23)BC20090429') flag++; else if (version == '12.3(23)BC20090502') flag++; else if (version == '12.3(23)BC20090502') flag++; else if (version == '12.3(23)BC20090506') flag++; else if (version == '12.3(23)BC20090506') flag++; else if (version == '12.3(23)BC20090509') flag++; else if (version == '12.3(23)BC20090509') flag++; else if (version == '12.3(23)BC20090513') flag++; else if (version == '12.3(23)BC20090513') flag++; else if (version == '12.3(23)BC20090516') flag++; else if (version == '12.3(23)BC20090516') flag++; else if (version == '12.3(23)BC20090520') flag++; else if (version == '12.3(23)BC20090520') flag++; else if (version == '12.3(23)BC20090523') flag++; else if (version == '12.3(23)BC20090523') flag++; else if (version == '12.3(23)BC20090527') flag++; else if (version == '12.3(23)BC20090527') flag++; else if (version == '12.3(23)BC20090530') flag++; else if (version == '12.3(23)BC20090530') flag++; else if (version == '12.3(23)BC20090606') flag++; else if (version == '12.3(23)BC20090606') flag++; else if (version == '12.3(23)BC20090611') flag++; else if (version == '12.3(23)BC20090611') flag++; else if (version == '12.3(23)BC20090620') flag++; else if (version == '12.3(23)BC20090620') flag++; else if (version == '12.3(23)BC20090704') flag++; else if (version == '12.3(23)BC20090704') flag++; else if (version == '12.3(23)BC20090718') flag++; else if (version == '12.3(23)BC20090718') flag++; else if (version == '12.3(23)BC20090725') flag++; else if (version == '12.3(23)BC20090725') flag++; else if (version == '12.3(23)BC20090801') flag++; else if (version == '12.3(23)BC20090801') flag++; else if (version == '12.3(23)BC20090808') flag++; else if (version == '12.3(23)BC20090808') flag++; else if (version == '12.3(23)BC20090815') flag++; else if (version == '12.3(23)BC20090815') flag++; else if (version == '12.3(23)BC20090822') flag++; else if (version == '12.3(23)BC20090822') flag++; else if (version == '12.3(23)BC20090829') flag++; else if (version == '12.3(23)BC20090829') flag++; else if (version == '12.3(23)BC20090905') flag++; else if (version == '12.3(23)BC20090905') flag++; else if (version == '12.3(23)BC20091114') flag++; else if (version == '12.3(23)BC20091114') flag++; else if (version == '12.3(23)BC20091118') flag++; else if (version == '12.3(23)BC20091118') flag++; else if (version == '12.3(23)BC20091212') flag++; else if (version == '12.3(23)BC20091212') flag++; else if (version == '12.3(23)BC20110214') flag++; else if (version == '12.3(23)BC20110217') flag++; else if (version == '12.3(23)BC3') flag++; else if (version == '12.3(23)BC3') flag++; else if (version == '12.3(23)BC4') flag++; else if (version == '12.3(23)BC4') flag++; else if (version == '12.3(23)BC5') flag++; else if (version == '12.3(23)BC5') flag++; else if (version == '12.3(23)BC6') flag++; else if (version == '12.3(23)BC6') flag++; else if (version == '12.3(23)BC7') flag++; else if (version == '12.3(23)BC7') flag++; else if (version == '12.3(23)BC8') flag++; else if (version == '12.3(23)BC8') flag++; else if (version == '12.3(23)BC9') flag++; else if (version == '12.3(23)BC9') flag++; else if (version == '12.3(24)') flag++; else if (version == '12.3(24)') flag++; else if (version == '12.3(24a)') flag++; else if (version == '12.3(24a)') flag++; else if (version == '12.3(25)') flag++; else if (version == '12.3(25)') flag++; else if (version == '12.3(26)') flag++; else if (version == '12.3(26)') flag++; else if (version == '12.3(2)JA') flag++; else if (version == '12.3(2)JA') flag++; else if (version == '12.3(2)JA1') flag++; else if (version == '12.3(2)JA1') flag++; else if (version == '12.3(2)JA2') flag++; else if (version == '12.3(2)JA2') flag++; else if (version == '12.3(2)JA3') flag++; else if (version == '12.3(2)JA3') flag++; else if (version == '12.3(2)JA4') flag++; else if (version == '12.3(2)JA4') flag++; else if (version == '12.3(2)JA5') flag++; else if (version == '12.3(2)JA5') flag++; else if (version == '12.3(2)JA6') flag++; else if (version == '12.3(2)JA6') flag++; else if (version == '12.3(2)JK') flag++; else if (version == '12.3(2)JK') flag++; else if (version == '12.3(2)JK1') flag++; else if (version == '12.3(2)JK1') flag++; else if (version == '12.3(2)JK2') flag++; else if (version == '12.3(2)JK2') flag++; else if (version == '12.3(2)JK3') flag++; else if (version == '12.3(2)JK3') flag++; else if (version == '12.3(2)JL') flag++; else if (version == '12.3(2)JL') flag++; else if (version == '12.3(2)JL1') flag++; else if (version == '12.3(2)JL1') flag++; else if (version == '12.3(2)JL2') flag++; else if (version == '12.3(2)JL2') flag++; else if (version == '12.3(2)JL3') flag++; else if (version == '12.3(2)JL3') flag++; else if (version == '12.3(2)JL4') flag++; else if (version == '12.3(2)JL4') flag++; else if (version == '12.3(2l)JK') flag++; else if (version == '12.3(2l)JK') flag++; else if (version == '12.3(2l)JL') flag++; else if (version == '12.3(2l)JL') flag++; else if (version == '12.3(2)T') flag++; else if (version == '12.3(2)T') flag++; else if (version == '12.3(2)T1') flag++; else if (version == '12.3(2)T1') flag++; else if (version == '12.3(2)T2') flag++; else if (version == '12.3(2)T2') flag++; else if (version == '12.3(2)T3') flag++; else if (version == '12.3(2)T3') flag++; else if (version == '12.3(2)T4') flag++; else if (version == '12.3(2)T4') flag++; else if (version == '12.3(2)T5') flag++; else if (version == '12.3(2)T5') flag++; else if (version == '12.3(2)T6') flag++; else if (version == '12.3(2)T6') flag++; else if (version == '12.3(2)T7') flag++; else if (version == '12.3(2)T7') flag++; else if (version == '12.3(2)T8') flag++; else if (version == '12.3(2)T8') flag++; else if (version == '12.3(2)T9') flag++; else if (version == '12.3(2)T9') flag++; else if (version == '12.3(2)XA') flag++; else if (version == '12.3(2)XA') flag++; else if (version == '12.3(2)XA1') flag++; else if (version == '12.3(2)XA1') flag++; else if (version == '12.3(2)XA2') flag++; else if (version == '12.3(2)XA2') flag++; else if (version == '12.3(2)XA3') flag++; else if (version == '12.3(2)XA3') flag++; else if (version == '12.3(2)XA4') flag++; else if (version == '12.3(2)XA4') flag++; else if (version == '12.3(2)XA5') flag++; else if (version == '12.3(2)XA5') flag++; else if (version == '12.3(2)XA6') flag++; else if (version == '12.3(2)XA6') flag++; else if (version == '12.3(2)XA7') flag++; else if (version == '12.3(2)XA7') flag++; else if (version == '12.3(2)XC') flag++; else if (version == '12.3(2)XC') flag++; else if (version == '12.3(2)XC1') flag++; else if (version == '12.3(2)XC1') flag++; else if (version == '12.3(2)XC2') flag++; else if (version == '12.3(2)XC2') flag++; else if (version == '12.3(2)XC3') flag++; else if (version == '12.3(2)XC3') flag++; else if (version == '12.3(2)XC4') flag++; else if (version == '12.3(2)XC4') flag++; else if (version == '12.3(2)XC5') flag++; else if (version == '12.3(2)XC5') flag++; else if (version == '12.3(2)XE') flag++; else if (version == '12.3(2)XE') flag++; else if (version == '12.3(2)XE1') flag++; else if (version == '12.3(2)XE1') flag++; else if (version == '12.3(2)XE2') flag++; else if (version == '12.3(2)XE2') flag++; else if (version == '12.3(2)XE3') flag++; else if (version == '12.3(2)XE3') flag++; else if (version == '12.3(2)XE4') flag++; else if (version == '12.3(2)XE4') flag++; else if (version == '12.3(2)XE5') flag++; else if (version == '12.3(2)XE5') flag++; else if (version == '12.3(2)XF') flag++; else if (version == '12.3(2)XF') flag++; else if (version == '12.3(2)XT') flag++; else if (version == '12.3(2)XT') flag++; else if (version == '12.3(2)XT1') flag++; else if (version == '12.3(2)XT1') flag++; else if (version == '12.3(2)XT2') flag++; else if (version == '12.3(2)XT2') flag++; else if (version == '12.3(2)XT3') flag++; else if (version == '12.3(2)XT3') flag++; else if (version == '12.3(2)XZ') flag++; else if (version == '12.3(2)XZ') flag++; else if (version == '12.3(2)XZ1') flag++; else if (version == '12.3(2)XZ1') flag++; else if (version == '12.3(2)XZ2') flag++; else if (version == '12.3(2)XZ2') flag++; else if (version == '12.3(3)') flag++; else if (version == '12.3(3a)') flag++; else if (version == '12.3(3b)') flag++; else if (version == '12.3(3)B') flag++; else if (version == '12.3(3)B1') flag++; else if (version == '12.3(3c)') flag++; else if (version == '12.3(3d)') flag++; else if (version == '12.3(3e)') flag++; else if (version == '12.3(3f)') flag++; else if (version == '12.3(3f)SAVE') flag++; else if (version == '12.3(3f)SAVE') flag++; else if (version == '12.3(3g)') flag++; else if (version == '12.3(3h)') flag++; else if (version == '12.3(3i)') flag++; else if (version == '12.3(4)INF') flag++; else if (version == '12.3(4)INF') flag++; else if (version == '12.3(4)JA') flag++; else if (version == '12.3(4)JA') flag++; else if (version == '12.3(4)JA1') flag++; else if (version == '12.3(4)JA1') flag++; else if (version == '12.3(4)JA2') flag++; else if (version == '12.3(4)JA2') flag++; else if (version == '12.3(4r)T') flag++; else if (version == '12.3(4r)T') flag++; else if (version == '12.3(4r)T1') flag++; else if (version == '12.3(4r)T1') flag++; else if (version == '12.3(4r)T2') flag++; else if (version == '12.3(4r)T2') flag++; else if (version == '12.3(4r)T3') flag++; else if (version == '12.3(4r)T3') flag++; else if (version == '12.3(4r)T4') flag++; else if (version == '12.3(4r)T4') flag++; else if (version == '12.3(4r)XD') flag++; else if (version == '12.3(4r)XD') flag++; else if (version == '12.3(4)T') flag++; else if (version == '12.3(4)T') flag++; else if (version == '12.3(4)T1') flag++; else if (version == '12.3(4)T1') flag++; else if (version == '12.3(4)T10') flag++; else if (version == '12.3(4)T10') flag++; else if (version == '12.3(4)T11') flag++; else if (version == '12.3(4)T11') flag++; else if (version == '12.3(4)T12') flag++; else if (version == '12.3(4)T12') flag++; else if (version == '12.3(4)T2') flag++; else if (version == '12.3(4)T2') flag++; else if (version == '12.3(4)T2a') flag++; else if (version == '12.3(4)T2a') flag++; else if (version == '12.3(4)T3') flag++; else if (version == '12.3(4)T3') flag++; else if (version == '12.3(4)T4') flag++; else if (version == '12.3(4)T4') flag++; else if (version == '12.3(4)T5') flag++; else if (version == '12.3(4)T5') flag++; else if (version == '12.3(4)T6') flag++; else if (version == '12.3(4)T6') flag++; else if (version == '12.3(4)T7') flag++; else if (version == '12.3(4)T7') flag++; else if (version == '12.3(4)T8') flag++; else if (version == '12.3(4)T8') flag++; else if (version == '12.3(4)T9') flag++; else if (version == '12.3(4)T9') flag++; else if (version == '12.3(4)TPC11a') flag++; else if (version == '12.3(4)TPC11a') flag++; else if (version == '12.3(4)TPC11b') flag++; else if (version == '12.3(4)TPC11b') flag++; else if (version == '12.3(4)XD') flag++; else if (version == '12.3(4)XD') flag++; else if (version == '12.3(4)XD1') flag++; else if (version == '12.3(4)XD1') flag++; else if (version == '12.3(4)XD2') flag++; else if (version == '12.3(4)XD2') flag++; else if (version == '12.3(4)XD3') flag++; else if (version == '12.3(4)XD3') flag++; else if (version == '12.3(4)XD4') flag++; else if (version == '12.3(4)XD4') flag++; else if (version == '12.3(4)XG') flag++; else if (version == '12.3(4)XG') flag++; else if (version == '12.3(4)XG1') flag++; else if (version == '12.3(4)XG1') flag++; else if (version == '12.3(4)XG2') flag++; else if (version == '12.3(4)XG2') flag++; else if (version == '12.3(4)XG3') flag++; else if (version == '12.3(4)XG3') flag++; else if (version == '12.3(4)XG4') flag++; else if (version == '12.3(4)XG4') flag++; else if (version == '12.3(4)XG5') flag++; else if (version == '12.3(4)XG5') flag++; else if (version == '12.3(4)XN') flag++; else if (version == '12.3(4)XN') flag++; else if (version == '12.3(4)XN1') flag++; else if (version == '12.3(4)XN1') flag++; else if (version == '12.3(4)XN2') flag++; else if (version == '12.3(4)XN2') flag++; else if (version == '12.3(4)YE') flag++; else if (version == '12.3(4)YE') flag++; else if (version == '12.3(4)YE1') flag++; else if (version == '12.3(4)YE1') flag++; else if (version == '12.3(5)') flag++; else if (version == '12.3(5a)') flag++; else if (version == '12.3(5a)B') flag++; else if (version == '12.3(5a)B0a') flag++; else if (version == '12.3(5a)B1') flag++; else if (version == '12.3(5a)B2') flag++; else if (version == '12.3(5a)B3') flag++; else if (version == '12.3(5a)B4') flag++; else if (version == '12.3(5a)B5') flag++; else if (version == '12.3(5b)') flag++; else if (version == '12.3(5c)') flag++; else if (version == '12.3(5c)') flag++; else if (version == '12.3(5d)') flag++; else if (version == '12.3(5d)') flag++; else if (version == '12.3(5e)') flag++; else if (version == '12.3(5e)') flag++; else if (version == '12.3(5f)') flag++; else if (version == '12.3(5f)') flag++; else if (version == '12.3(6)') flag++; else if (version == '12.3(6)') flag++; else if (version == '12.3(6a)') flag++; else if (version == '12.3(6a)') flag++; else if (version == '12.3(6b)') flag++; else if (version == '12.3(6b)') flag++; else if (version == '12.3(6c)') flag++; else if (version == '12.3(6c)') flag++; else if (version == '12.3(6d)') flag++; else if (version == '12.3(6d)') flag++; else if (version == '12.3(6e)') flag++; else if (version == '12.3(6e)') flag++; else if (version == '12.3(6f)') flag++; else if (version == '12.3(6f)') flag++; else if (version == '12.3(6r)') flag++; else if (version == '12.3(6r)') flag++; else if (version == '12.3(7)JA') flag++; else if (version == '12.3(7)JA') flag++; else if (version == '12.3(7)JA1') flag++; else if (version == '12.3(7)JA1') flag++; else if (version == '12.3(7)JA2') flag++; else if (version == '12.3(7)JA2') flag++; else if (version == '12.3(7)JA3') flag++; else if (version == '12.3(7)JA3') flag++; else if (version == '12.3(7)JA4') flag++; else if (version == '12.3(7)JA4') flag++; else if (version == '12.3(7)JA5') flag++; else if (version == '12.3(7)JA5') flag++; else if (version == '12.3(7)JX') flag++; else if (version == '12.3(7)JX') flag++; else if (version == '12.3(7)JX1') flag++; else if (version == '12.3(7)JX1') flag++; else if (version == '12.3(7)JX10') flag++; else if (version == '12.3(7)JX10') flag++; else if (version == '12.3(7)JX11') flag++; else if (version == '12.3(7)JX11') flag++; else if (version == '12.3(7)JX12') flag++; else if (version == '12.3(7)JX12') flag++; else if (version == '12.3(7)JX2') flag++; else if (version == '12.3(7)JX2') flag++; else if (version == '12.3(7)JX3') flag++; else if (version == '12.3(7)JX3') flag++; else if (version == '12.3(7)JX4') flag++; else if (version == '12.3(7)JX4') flag++; else if (version == '12.3(7)JX5') flag++; else if (version == '12.3(7)JX5') flag++; else if (version == '12.3(7)JX6') flag++; else if (version == '12.3(7)JX6') flag++; else if (version == '12.3(7)JX7') flag++; else if (version == '12.3(7)JX7') flag++; else if (version == '12.3(7)JX8') flag++; else if (version == '12.3(7)JX8') flag++; else if (version == '12.3(7)JX9') flag++; else if (version == '12.3(7)JX9') flag++; else if (version == '12.3(7r)T') flag++; else if (version == '12.3(7r)T') flag++; else if (version == '12.3(7r)T1') flag++; else if (version == '12.3(7r)T1') flag++; else if (version == '12.3(7r)T2') flag++; else if (version == '12.3(7r)T2') flag++; else if (version == '12.3(7)T') flag++; else if (version == '12.3(7)T') flag++; else if (version == '12.3(7)T1') flag++; else if (version == '12.3(7)T1') flag++; else if (version == '12.3(7)T10') flag++; else if (version == '12.3(7)T10') flag++; else if (version == '12.3(7)T11') flag++; else if (version == '12.3(7)T11') flag++; else if (version == '12.3(7)T12') flag++; else if (version == '12.3(7)T12') flag++; else if (version == '12.3(7)T2') flag++; else if (version == '12.3(7)T2') flag++; else if (version == '12.3(7)T3') flag++; else if (version == '12.3(7)T3') flag++; else if (version == '12.3(7)T4') flag++; else if (version == '12.3(7)T4') flag++; else if (version == '12.3(7)T5') flag++; else if (version == '12.3(7)T5') flag++; else if (version == '12.3(7)T6') flag++; else if (version == '12.3(7)T6') flag++; else if (version == '12.3(7)T7') flag++; else if (version == '12.3(7)T7') flag++; else if (version == '12.3(7)T8') flag++; else if (version == '12.3(7)T8') flag++; else if (version == '12.3(7)T9') flag++; else if (version == '12.3(7)T9') flag++; else if (version == '12.3(7)XI') flag++; else if (version == '12.3(7)XI') flag++; else if (version == '12.3(7)XI1') flag++; else if (version == '12.3(7)XI1') flag++; else if (version == '12.3(7)XI10') flag++; else if (version == '12.3(7)XI10') flag++; else if (version == '12.3(7)XI10a') flag++; else if (version == '12.3(7)XI10a') flag++; else if (version == '12.3(7)XI10b') flag++; else if (version == '12.3(7)XI10b') flag++; else if (version == '12.3(7)XI1a') flag++; else if (version == '12.3(7)XI1a') flag++; else if (version == '12.3(7)XI1b') flag++; else if (version == '12.3(7)XI1b') flag++; else if (version == '12.3(7)XI1c') flag++; else if (version == '12.3(7)XI1c') flag++; else if (version == '12.3(7)XI2') flag++; else if (version == '12.3(7)XI2') flag++; else if (version == '12.3(7)XI2a') flag++; else if (version == '12.3(7)XI2a') flag++; else if (version == '12.3(7)XI2b') flag++; else if (version == '12.3(7)XI2b') flag++; else if (version == '12.3(7)XI2c') flag++; else if (version == '12.3(7)XI2c') flag++; else if (version == '12.3(7)XI3') flag++; else if (version == '12.3(7)XI3') flag++; else if (version == '12.3(7)XI3a') flag++; else if (version == '12.3(7)XI3a') flag++; else if (version == '12.3(7)XI3b') flag++; else if (version == '12.3(7)XI3b') flag++; else if (version == '12.3(7)XI3c') flag++; else if (version == '12.3(7)XI3c') flag++; else if (version == '12.3(7)XI3d') flag++; else if (version == '12.3(7)XI3d') flag++; else if (version == '12.3(7)XI3e') flag++; else if (version == '12.3(7)XI3e') flag++; else if (version == '12.3(7)XI4') flag++; else if (version == '12.3(7)XI4') flag++; else if (version == '12.3(7)XI5') flag++; else if (version == '12.3(7)XI5') flag++; else if (version == '12.3(7)XI6') flag++; else if (version == '12.3(7)XI6') flag++; else if (version == '12.3(7)XI7') flag++; else if (version == '12.3(7)XI7') flag++; else if (version == '12.3(7)XI7a') flag++; else if (version == '12.3(7)XI7a') flag++; else if (version == '12.3(7)XI7b') flag++; else if (version == '12.3(7)XI7b') flag++; else if (version == '12.3(7)XI7c') flag++; else if (version == '12.3(7)XI7c') flag++; else if (version == '12.3(7)XI7d') flag++; else if (version == '12.3(7)XI7d') flag++; else if (version == '12.3(7)XI7e') flag++; else if (version == '12.3(7)XI7e') flag++; else if (version == '12.3(7)XI7f') flag++; else if (version == '12.3(7)XI7f') flag++; else if (version == '12.3(7)XI8') flag++; else if (version == '12.3(7)XI8') flag++; else if (version == '12.3(7)XI8a') flag++; else if (version == '12.3(7)XI8a') flag++; else if (version == '12.3(7)XI8b') flag++; else if (version == '12.3(7)XI8b') flag++; else if (version == '12.3(7)XI8c') flag++; else if (version == '12.3(7)XI8c') flag++; else if (version == '12.3(7)XI8d') flag++; else if (version == '12.3(7)XI8d') flag++; else if (version == '12.3(7)XI8e') flag++; else if (version == '12.3(7)XI8e') flag++; else if (version == '12.3(7)XI8f') flag++; else if (version == '12.3(7)XI8f') flag++; else if (version == '12.3(7)XI8g') flag++; else if (version == '12.3(7)XI8g') flag++; else if (version == '12.3(7)XI9') flag++; else if (version == '12.3(7)XI9') flag++; else if (version == '12.3(7)XJ') flag++; else if (version == '12.3(7)XJ') flag++; else if (version == '12.3(7)XJ1') flag++; else if (version == '12.3(7)XJ1') flag++; else if (version == '12.3(7)XJ2') flag++; else if (version == '12.3(7)XJ2') flag++; else if (version == '12.3(7)XL') flag++; else if (version == '12.3(7)XL') flag++; else if (version == '12.3(7)XM') flag++; else if (version == '12.3(7)XM') flag++; else if (version == '12.3(7)XR') flag++; else if (version == '12.3(7)XR') flag++; else if (version == '12.3(7)XR1') flag++; else if (version == '12.3(7)XR1') flag++; else if (version == '12.3(7)XR2') flag++; else if (version == '12.3(7)XR2') flag++; else if (version == '12.3(7)XR3') flag++; else if (version == '12.3(7)XR3') flag++; else if (version == '12.3(7)XR4') flag++; else if (version == '12.3(7)XR4') flag++; else if (version == '12.3(7)XR5') flag++; else if (version == '12.3(7)XR5') flag++; else if (version == '12.3(7)XR6') flag++; else if (version == '12.3(7)XR6') flag++; else if (version == '12.3(7)XR7') flag++; else if (version == '12.3(7)XR7') flag++; else if (version == '12.3(7)XS') flag++; else if (version == '12.3(7)XS') flag++; else if (version == '12.3(7)XS1') flag++; else if (version == '12.3(7)XS1') flag++; else if (version == '12.3(7)XS2') flag++; else if (version == '12.3(7)XS2') flag++; else if (version == '12.3(7)YB') flag++; else if (version == '12.3(7)YB') flag++; else if (version == '12.3(7)YB1') flag++; else if (version == '12.3(7)YB1') flag++; else if (version == '12.3(8)JA') flag++; else if (version == '12.3(8)JA') flag++; else if (version == '12.3(8)JA1') flag++; else if (version == '12.3(8)JA1') flag++; else if (version == '12.3(8)JA2') flag++; else if (version == '12.3(8)JA2') flag++; else if (version == '12.3(8)JEA') flag++; else if (version == '12.3(8)JEA') flag++; else if (version == '12.3(8)JEA1') flag++; else if (version == '12.3(8)JEA1') flag++; else if (version == '12.3(8)JEA2') flag++; else if (version == '12.3(8)JEA2') flag++; else if (version == '12.3(8)JEA3') flag++; else if (version == '12.3(8)JEA3') flag++; else if (version == '12.3(8)JEB') flag++; else if (version == '12.3(8)JEB') flag++; else if (version == '12.3(8)JEB1') flag++; else if (version == '12.3(8)JEB1') flag++; else if (version == '12.3(8)JEC') flag++; else if (version == '12.3(8)JEC') flag++; else if (version == '12.3(8)JEC1') flag++; else if (version == '12.3(8)JEC1') flag++; else if (version == '12.3(8)JEC2') flag++; else if (version == '12.3(8)JEC2') flag++; else if (version == '12.3(8)JEC3') flag++; else if (version == '12.3(8)JEC3') flag++; else if (version == '12.3(8)JED') flag++; else if (version == '12.3(8)JED') flag++; else if (version == '12.3(8)JED1') flag++; else if (version == '12.3(8)JED1') flag++; else if (version == '12.3(8)JEE') flag++; else if (version == '12.3(8)JEE') flag++; else if (version == '12.3(8)JK') flag++; else if (version == '12.3(8)JK') flag++; else if (version == '12.3(8)JK1') flag++; else if (version == '12.3(8)JK1') flag++; else if (version == '12.3(8r)T') flag++; else if (version == '12.3(8r)T') flag++; else if (version == '12.3(8r)T1') flag++; else if (version == '12.3(8r)T1') flag++; else if (version == '12.3(8r)T10') flag++; else if (version == '12.3(8r)T10') flag++; else if (version == '12.3(8r)T2') flag++; else if (version == '12.3(8r)T2') flag++; else if (version == '12.3(8r)T3') flag++; else if (version == '12.3(8r)T3') flag++; else if (version == '12.3(8r)T4') flag++; else if (version == '12.3(8r)T4') flag++; else if (version == '12.3(8r)T5') flag++; else if (version == '12.3(8r)T5') flag++; else if (version == '12.3(8r)T6') flag++; else if (version == '12.3(8r)T6') flag++; else if (version == '12.3(8r)T7') flag++; else if (version == '12.3(8r)T7') flag++; else if (version == '12.3(8r)T8') flag++; else if (version == '12.3(8r)T8') flag++; else if (version == '12.3(8r)T9') flag++; else if (version == '12.3(8r)T9') flag++; else if (version == '12.3(8r)YH') flag++; else if (version == '12.3(8r)YH') flag++; else if (version == '12.3(8r)YH1') flag++; else if (version == '12.3(8r)YH1') flag++; else if (version == '12.3(8r)YH10') flag++; else if (version == '12.3(8r)YH10') flag++; else if (version == '12.3(8r)YH11') flag++; else if (version == '12.3(8r)YH11') flag++; else if (version == '12.3(8r)YH12') flag++; else if (version == '12.3(8r)YH12') flag++; else if (version == '12.3(8r)YH13') flag++; else if (version == '12.3(8r)YH13') flag++; else if (version == '12.3(8r)YH2') flag++; else if (version == '12.3(8r)YH2') flag++; else if (version == '12.3(8r)YH3') flag++; else if (version == '12.3(8r)YH3') flag++; else if (version == '12.3(8r)YH4') flag++; else if (version == '12.3(8r)YH4') flag++; else if (version == '12.3(8r)YH5') flag++; else if (version == '12.3(8r)YH5') flag++; else if (version == '12.3(8r)YH6') flag++; else if (version == '12.3(8r)YH6') flag++; else if (version == '12.3(8r)YH7') flag++; else if (version == '12.3(8r)YH7') flag++; else if (version == '12.3(8r)YH8') flag++; else if (version == '12.3(8r)YH8') flag++; else if (version == '12.3(8r)YH9') flag++; else if (version == '12.3(8r)YH9') flag++; else if (version == '12.3(8)T') flag++; else if (version == '12.3(8)T') flag++; else if (version == '12.3(8)T0a') flag++; else if (version == '12.3(8)T0a') flag++; else if (version == '12.3(8)T1') flag++; else if (version == '12.3(8)T1') flag++; else if (version == '12.3(8)T10') flag++; else if (version == '12.3(8)T10') flag++; else if (version == '12.3(8)T11') flag++; else if (version == '12.3(8)T11') flag++; else if (version == '12.3(8)T2') flag++; else if (version == '12.3(8)T2') flag++; else if (version == '12.3(8)T3') flag++; else if (version == '12.3(8)T3') flag++; else if (version == '12.3(8)T4') flag++; else if (version == '12.3(8)T4') flag++; else if (version == '12.3(8)T5') flag++; else if (version == '12.3(8)T5') flag++; else if (version == '12.3(8)T6') flag++; else if (version == '12.3(8)T6') flag++; else if (version == '12.3(8)T7') flag++; else if (version == '12.3(8)T7') flag++; else if (version == '12.3(8)T8') flag++; else if (version == '12.3(8)T8') flag++; else if (version == '12.3(8)T9') flag++; else if (version == '12.3(8)T9') flag++; else if (version == '12.3(8)XU') flag++; else if (version == '12.3(8)XU') flag++; else if (version == '12.3(8)XU1') flag++; else if (version == '12.3(8)XU1') flag++; else if (version == '12.3(8)XU2') flag++; else if (version == '12.3(8)XU2') flag++; else if (version == '12.3(8)XU3') flag++; else if (version == '12.3(8)XU3') flag++; else if (version == '12.3(8)XU4') flag++; else if (version == '12.3(8)XU4') flag++; else if (version == '12.3(8)XU5') flag++; else if (version == '12.3(8)XU5') flag++; else if (version == '12.3(8)XW') flag++; else if (version == '12.3(8)XW') flag++; else if (version == '12.3(8)XW1') flag++; else if (version == '12.3(8)XW1') flag++; else if (version == '12.3(8)XW1a') flag++; else if (version == '12.3(8)XW1a') flag++; else if (version == '12.3(8)XW1b') flag++; else if (version == '12.3(8)XW1b') flag++; else if (version == '12.3(8)XW2') flag++; else if (version == '12.3(8)XW2') flag++; else if (version == '12.3(8)XW3') flag++; else if (version == '12.3(8)XW3') flag++; else if (version == '12.3(8)XX') flag++; else if (version == '12.3(8)XX') flag++; else if (version == '12.3(8)XX1') flag++; else if (version == '12.3(8)XX1') flag++; else if (version == '12.3(8)XX2') flag++; else if (version == '12.3(8)XX2') flag++; else if (version == '12.3(8)XX2a') flag++; else if (version == '12.3(8)XX2a') flag++; else if (version == '12.3(8)XX2b') flag++; else if (version == '12.3(8)XX2b') flag++; else if (version == '12.3(8)XX2c') flag++; else if (version == '12.3(8)XX2c') flag++; else if (version == '12.3(8)XX2d') flag++; else if (version == '12.3(8)XX2d') flag++; else if (version == '12.3(8)XX2e') flag++; else if (version == '12.3(8)XX2e') flag++; else if (version == '12.3(8)XY') flag++; else if (version == '12.3(8)XY') flag++; else if (version == '12.3(8)XY1') flag++; else if (version == '12.3(8)XY1') flag++; else if (version == '12.3(8)XY2') flag++; else if (version == '12.3(8)XY2') flag++; else if (version == '12.3(8)XY3') flag++; else if (version == '12.3(8)XY3') flag++; else if (version == '12.3(8)XY4') flag++; else if (version == '12.3(8)XY4') flag++; else if (version == '12.3(8)XY5') flag++; else if (version == '12.3(8)XY5') flag++; else if (version == '12.3(8)XY6') flag++; else if (version == '12.3(8)XY6') flag++; else if (version == '12.3(8)XY7') flag++; else if (version == '12.3(8)XY7') flag++; else if (version == '12.3(8)YA') flag++; else if (version == '12.3(8)YA') flag++; else if (version == '12.3(8)YA1') flag++; else if (version == '12.3(8)YA1') flag++; else if (version == '12.3(8)YC') flag++; else if (version == '12.3(8)YC') flag++; else if (version == '12.3(8)YC1') flag++; else if (version == '12.3(8)YC1') flag++; else if (version == '12.3(8)YC2') flag++; else if (version == '12.3(8)YC2') flag++; else if (version == '12.3(8)YC3') flag++; else if (version == '12.3(8)YC3') flag++; else if (version == '12.3(8)YD') flag++; else if (version == '12.3(8)YD') flag++; else if (version == '12.3(8)YD1') flag++; else if (version == '12.3(8)YD1') flag++; else if (version == '12.3(8)YG') flag++; else if (version == '12.3(8)YG') flag++; else if (version == '12.3(8)YG1') flag++; else if (version == '12.3(8)YG1') flag++; else if (version == '12.3(8)YG2') flag++; else if (version == '12.3(8)YG2') flag++; else if (version == '12.3(8)YG3') flag++; else if (version == '12.3(8)YG3') flag++; else if (version == '12.3(8)YG4') flag++; else if (version == '12.3(8)YG4') flag++; else if (version == '12.3(8)YG5') flag++; else if (version == '12.3(8)YG5') flag++; else if (version == '12.3(8)YG6') flag++; else if (version == '12.3(8)YG6') flag++; else if (version == '12.3(8)YG7') flag++; else if (version == '12.3(8)YG7') flag++; else if (version == '12.3(8)YH') flag++; else if (version == '12.3(8)YH') flag++; else if (version == '12.3(8)YI') flag++; else if (version == '12.3(8)YI') flag++; else if (version == '12.3(8)YI1') flag++; else if (version == '12.3(8)YI1') flag++; else if (version == '12.3(8)YI2') flag++; else if (version == '12.3(8)YI2') flag++; else if (version == '12.3(8)YI3') flag++; else if (version == '12.3(8)YI3') flag++; else if (version == '12.3(8)ZA') flag++; else if (version == '12.3(8)ZA') flag++; else if (version == '12.3(8)ZA1') flag++; else if (version == '12.3(8)ZA1') flag++; else if (version == '12.3(9)') flag++; else if (version == '12.3(9)') flag++; else if (version == '12.3(99)T') flag++; else if (version == '12.3(99)T') flag++; else if (version == '12.3(9a)') flag++; else if (version == '12.3(9a)') flag++; else if (version == '12.3(9a)BC') flag++; else if (version == '12.3(9a)BC') flag++; else if (version == '12.3(9a)BC1') flag++; else if (version == '12.3(9a)BC1') flag++; else if (version == '12.3(9a)BC2') flag++; else if (version == '12.3(9a)BC2') flag++; else if (version == '12.3(9a)BC3') flag++; else if (version == '12.3(9a)BC3') flag++; else if (version == '12.3(9a)BC4') flag++; else if (version == '12.3(9a)BC4') flag++; else if (version == '12.3(9a)BC5') flag++; else if (version == '12.3(9a)BC5') flag++; else if (version == '12.3(9a)BC6') flag++; else if (version == '12.3(9a)BC6') flag++; else if (version == '12.3(9a)BC7') flag++; else if (version == '12.3(9a)BC7') flag++; else if (version == '12.3(9a)BC8') flag++; else if (version == '12.3(9a)BC8') flag++; else if (version == '12.3(9a)BC9') flag++; else if (version == '12.3(9a)BC9') flag++; else if (version == '12.3(9b)') flag++; else if (version == '12.3(9b)') flag++; else if (version == '12.3(9c)') flag++; else if (version == '12.3(9c)') flag++; else if (version == '12.3(9d)') flag++; else if (version == '12.3(9d)') flag++; else if (version == '12.3(9e)') flag++; else if (version == '12.3(9e)') flag++; else if (version == '12.3(9)M0') flag++; else if (version == '12.3(9)M0') flag++; else if (version == '12.3(9)M1') flag++; else if (version == '12.3(9)M1') flag++; else if (version == '12.3(9r)T') flag++; else if (version == '12.3(9r)T') flag++; else if (version == '12.4(1)') flag++; else if (version == '12.4(10)') flag++; else if (version == '12.4(10a)') flag++; else if (version == '12.4(10b)') flag++; else if (version == '12.4(10b)JA') flag++; else if (version == '12.4(10b)JA1') flag++; else if (version == '12.4(10b)JA2') flag++; else if (version == '12.4(10b)JA3') flag++; else if (version == '12.4(10b)JA4') flag++; else if (version == '12.4(10b)JDA') flag++; else if (version == '12.4(10b)JDA1') flag++; else if (version == '12.4(10b)JDA2') flag++; else if (version == '12.4(10b)JDA3') flag++; else if (version == '12.4(10b)JDC') flag++; else if (version == '12.4(10b)JDD') flag++; else if (version == '12.4(10b)JDE') flag++; else if (version == '12.4(10b)JX') flag++; else if (version == '12.4(10b)JY') flag++; else if (version == '12.4(10c)') flag++; else if (version == '12.4(113a)TST1') flag++; else if (version == '12.4(113a)TST2') flag++; else if (version == '12.4(11)MD') flag++; else if (version == '12.4(11)MD1') flag++; else if (version == '12.4(11)MD10') flag++; else if (version == '12.4(11)MD2') flag++; else if (version == '12.4(11)MD3') flag++; else if (version == '12.4(11)MD4') flag++; else if (version == '12.4(11)MD5') flag++; else if (version == '12.4(11)MD6') flag++; else if (version == '12.4(11)MD7') flag++; else if (version == '12.4(11)MD8') flag++; else if (version == '12.4(11)MD9') flag++; else if (version == '12.4(11)MR') flag++; else if (version == '12.4(11)MR') flag++; else if (version == '12.4(11r)MC') flag++; else if (version == '12.4(11r)MC') flag++; else if (version == '12.4(11r)MC1') flag++; else if (version == '12.4(11r)MC1') flag++; else if (version == '12.4(11r)MC2') flag++; else if (version == '12.4(11r)MC2') flag++; else if (version == '12.4(11r)MD') flag++; else if (version == '12.4(11r)XW') flag++; else if (version == '12.4(11r)XW') flag++; else if (version == '12.4(11r)XW3') flag++; else if (version == '12.4(11r)XW3') flag++; else if (version == '12.4(11)SW') flag++; else if (version == '12.4(11)SW1') flag++; else if (version == '12.4(11)SW2') flag++; else if (version == '12.4(11)SW3') flag++; else if (version == '12.4(11)T') flag++; else if (version == '12.4(11)T1') flag++; else if (version == '12.4(11)T2') flag++; else if (version == '12.4(11)T3') flag++; else if (version == '12.4(11)T4') flag++; else if (version == '12.4(11)XJ') flag++; else if (version == '12.4(11)XJ1') flag++; else if (version == '12.4(11)XJ2') flag++; else if (version == '12.4(11)XJ3') flag++; else if (version == '12.4(11)XJ4') flag++; else if (version == '12.4(11)XJ5') flag++; else if (version == '12.4(11)XJ6') flag++; else if (version == '12.4(11)XV') flag++; else if (version == '12.4(11)XV1') flag++; else if (version == '12.4(11)XW') flag++; else if (version == '12.4(11)XW1') flag++; else if (version == '12.4(11)XW2') flag++; else if (version == '12.4(11)XW3') flag++; else if (version == '12.4(11)XW4') flag++; else if (version == '12.4(11)XW5') flag++; else if (version == '12.4(11)XW6') flag++; else if (version == '12.4(11)XW7') flag++; else if (version == '12.4(11)XW8') flag++; else if (version == '12.4(11)XW9') flag++; else if (version == '12.4(12)') flag++; else if (version == '12.4(123e)TST') flag++; else if (version == '12.4(123g)TST') flag++; else if (version == '12.4(12a)') flag++; else if (version == '12.4(12b)') flag++; else if (version == '12.4(12c)') flag++; else if (version == '12.4(12)MR') flag++; else if (version == '12.4(12)MR') flag++; else if (version == '12.4(12)MR1') flag++; else if (version == '12.4(12)MR1') flag++; else if (version == '12.4(12)MR2') flag++; else if (version == '12.4(12)MR2') flag++; else if (version == '12.4(13)') flag++; else if (version == '12.4(13a)') flag++; else if (version == '12.4(13b)') flag++; else if (version == '12.4(13c)') flag++; else if (version == '12.4(13d)') flag++; else if (version == '12.4(13d)JA') flag++; else if (version == '12.4(13e)') flag++; else if (version == '12.4(13f)') flag++; else if (version == '12.4(13r)T') flag++; else if (version == '12.4(13r)T1') flag++; else if (version == '12.4(13r)T10') flag++; else if (version == '12.4(13r)T11') flag++; else if (version == '12.4(13r)T12') flag++; else if (version == '12.4(13r)T13') flag++; else if (version == '12.4(13r)T14') flag++; else if (version == '12.4(13r)T15') flag++; else if (version == '12.4(13r)T16') flag++; else if (version == '12.4(13r)T2') flag++; else if (version == '12.4(13r)T3') flag++; else if (version == '12.4(13r)T4') flag++; else if (version == '12.4(13r)T5') flag++; else if (version == '12.4(13r)T6') flag++; else if (version == '12.4(13r)T7') flag++; else if (version == '12.4(13r)T8') flag++; else if (version == '12.4(13r)T9') flag++; else if (version == '12.4(14r)') flag++; else if (version == '12.4(14r)') flag++; else if (version == '12.4(14r)T') flag++; else if (version == '12.4(14r)T') flag++; else if (version == '12.4(14)XK') flag++; else if (version == '12.4(15)MD') flag++; else if (version == '12.4(15)MD1') flag++; else if (version == '12.4(15)MD1a') flag++; else if (version == '12.4(15)MD2') flag++; else if (version == '12.4(15)MD3') flag++; else if (version == '12.4(15)MD4') flag++; else if (version == '12.4(15r)T') flag++; else if (version == '12.4(15r)T1') flag++; else if (version == '12.4(15r)XQ') flag++; else if (version == '12.4(15r)XQ1') flag++; else if (version == '12.4(15r)XZ') flag++; else if (version == '12.4(15r)XZ') flag++; else if (version == '12.4(15r)XZ1') flag++; else if (version == '12.4(15r)XZ1') flag++; else if (version == '12.4(15r)XZ2') flag++; else if (version == '12.4(15r)XZ2') flag++; else if (version == '12.4(15r)XZ3') flag++; else if (version == '12.4(15r)XZ3') flag++; else if (version == '12.4(15r)XZ4') flag++; else if (version == '12.4(15r)XZ4') flag++; else if (version == '12.4(15r)XZ5') flag++; else if (version == '12.4(15r)XZ5') flag++; else if (version == '12.4(15)SW') flag++; else if (version == '12.4(15)SW1') flag++; else if (version == '12.4(15)SW2') flag++; else if (version == '12.4(15)SW5') flag++; else if (version == '12.4(15)SW6') flag++; else if (version == '12.4(15)T') flag++; else if (version == '12.4(15)T1') flag++; else if (version == '12.4(15)T2') flag++; else if (version == '12.4(15)T3') flag++; else if (version == '12.4(15)T4') flag++; else if (version == '12.4(15)T5') flag++; else if (version == '12.4(15)T6') flag++; else if (version == '12.4(15)T7') flag++; else if (version == '12.4(15)XF') flag++; else if (version == '12.4(15)XL') flag++; else if (version == '12.4(15)XL1') flag++; else if (version == '12.4(15)XL2') flag++; else if (version == '12.4(15)XL3') flag++; else if (version == '12.4(15)XM') flag++; else if (version == '12.4(15)XM1') flag++; else if (version == '12.4(15)XM2') flag++; else if (version == '12.4(15)XM3') flag++; else if (version == '12.4(15)XQ') flag++; else if (version == '12.4(15)XQ1') flag++; else if (version == '12.4(15)XQ2') flag++; else if (version == '12.4(15)XQ2a') flag++; else if (version == '12.4(15)XQ2b') flag++; else if (version == '12.4(15)XQ2c') flag++; else if (version == '12.4(15)XQ3') flag++; else if (version == '12.4(15)XQ4') flag++; else if (version == '12.4(15)XQ5') flag++; else if (version == '12.4(15)XQ6') flag++; else if (version == '12.4(15)XR') flag++; else if (version == '12.4(15)XR1') flag++; else if (version == '12.4(15)XR2') flag++; else if (version == '12.4(15)XR3') flag++; else if (version == '12.4(15)XR4') flag++; else if (version == '12.4(15)XR5') flag++; else if (version == '12.4(15)XR6') flag++; else if (version == '12.4(15)XR7') flag++; else if (version == '12.4(15)XR8') flag++; else if (version == '12.4(15)XR9') flag++; else if (version == '12.4(15)XY') flag++; else if (version == '12.4(15)XY1') flag++; else if (version == '12.4(15)XY2') flag++; else if (version == '12.4(15)XY3') flag++; else if (version == '12.4(15)XY4') flag++; else if (version == '12.4(15)XY5') flag++; else if (version == '12.4(15)XZ') flag++; else if (version == '12.4(15)XZ') flag++; else if (version == '12.4(15)XZ1') flag++; else if (version == '12.4(15)XZ1') flag++; else if (version == '12.4(15)XZ2') flag++; else if (version == '12.4(16)') flag++; else if (version == '12.4(16a)') flag++; else if (version == '12.4(16b)') flag++; else if (version == '12.4(16b)JA') flag++; else if (version == '12.4(16b)JA1') flag++; else if (version == '12.4(16)MR') flag++; else if (version == '12.4(16)MR') flag++; else if (version == '12.4(16)MR1') flag++; else if (version == '12.4(16)MR1') flag++; else if (version == '12.4(16)MR2') flag++; else if (version == '12.4(16)MR2') flag++; else if (version == '12.4(16)TRY1') flag++; else if (version == '12.4(17)') flag++; else if (version == '12.4(17a)') flag++; else if (version == '12.4(17b)') flag++; else if (version == '12.4(18)') flag++; else if (version == '12.4(18a)') flag++; else if (version == '12.4(18a)JA') flag++; else if (version == '12.4(18a)JA1') flag++; else if (version == '12.4(18a)JA2') flag++; else if (version == '12.4(18a)JA3') flag++; else if (version == '12.4(18b)') flag++; else if (version == '12.4(18c)') flag++; else if (version == '12.4(19)') flag++; else if (version == '12.4(19a)') flag++; else if (version == '12.4(19b)') flag++; else if (version == '12.4(19)MR') flag++; else if (version == '12.4(19)MR') flag++; else if (version == '12.4(19)MR1') flag++; else if (version == '12.4(19)MR1') flag++; else if (version == '12.4(19)MR2') flag++; else if (version == '12.4(19)MR3') flag++; else if (version == '12.4(1a)') flag++; else if (version == '12.4(1b)') flag++; else if (version == '12.4(1c)') flag++; else if (version == '12.4(1r)') flag++; else if (version == '12.4(20)MR') flag++; else if (version == '12.4(20)MR') flag++; else if (version == '12.4(20)MR1') flag++; else if (version == '12.4(20)MR1') flag++; else if (version == '12.4(20)MR2') flag++; else if (version == '12.4(20)MR2') flag++; else if (version == '12.4(20)MRA') flag++; else if (version == '12.4(20)MRA') flag++; else if (version == '12.4(20)MRA1') flag++; else if (version == '12.4(20)MRA1') flag++; else if (version == '12.4(20)MRB') flag++; else if (version == '12.4(20)MRB') flag++; else if (version == '12.4(20)MRB1') flag++; else if (version == '12.4(20r)YA') flag++; else if (version == '12.4(20r)YA') flag++; else if (version == '12.4(20r)YA1') flag++; else if (version == '12.4(20r)YA1') flag++; else if (version == '12.4(20)T') flag++; else if (version == '12.4(20)T1') flag++; else if (version == '12.4(20)YA') flag++; else if (version == '12.4(20)YA') flag++; else if (version == '12.4(20)YA1') flag++; else if (version == '12.4(20)YA1') flag++; else if (version == '12.4(20)YA2') flag++; else if (version == '12.4(20)YA3') flag++; else if (version == '12.4(21)') flag++; else if (version == '12.4(21a)') flag++; else if (version == '12.4(21a)JA') flag++; else if (version == '12.4(21a)JA1') flag++; else if (version == '12.4(21a)JA2') flag++; else if (version == '12.4(21a)JHA') flag++; else if (version == '12.4(21a)JHB') flag++; else if (version == '12.4(21a)JHB1') flag++; else if (version == '12.4(21a)JX') flag++; else if (version == '12.4(21a)JY') flag++; else if (version == '12.4(21a)JY1') flag++; else if (version == '12.4(21a)JZ') flag++; else if (version == '12.4(21a)M1') flag++; else if (version == '12.4(22)GC1') flag++; else if (version == '12.4(22)GC1a') flag++; else if (version == '12.4(22)MD') flag++; else if (version == '12.4(22)MD') flag++; else if (version == '12.4(22)MD1') flag++; else if (version == '12.4(22)MD2') flag++; else if (version == '12.4(22)MDA') flag++; else if (version == '12.4(22)MDA1') flag++; else if (version == '12.4(22)MDA2') flag++; else if (version == '12.4(22)MDA3') flag++; else if (version == '12.4(22)MDA4') flag++; else if (version == '12.4(22)MDA5') flag++; else if (version == '12.4(22)MDA6') flag++; else if (version == '12.4(22r)T') flag++; else if (version == '12.4(22r)T') flag++; else if (version == '12.4(22r)YB') flag++; else if (version == '12.4(22r)YB') flag++; else if (version == '12.4(22r)YB1') flag++; else if (version == '12.4(22r)YB1') flag++; else if (version == '12.4(22r)YB2') flag++; else if (version == '12.4(22r)YB2') flag++; else if (version == '12.4(22r)YB3') flag++; else if (version == '12.4(22r)YB3') flag++; else if (version == '12.4(22r)YB4') flag++; else if (version == '12.4(22r)YB4') flag++; else if (version == '12.4(22r)YB5') flag++; else if (version == '12.4(22r)YB5') flag++; else if (version == '12.4(22)T') flag++; else if (version == '12.4(22)YB') flag++; else if (version == '12.4(22)YB1') flag++; else if (version == '12.4(22)YB2') flag++; else if (version == '12.4(22)YB3') flag++; else if (version == '12.4(22)YB4') flag++; else if (version == '12.4(22)YB5') flag++; else if (version == '12.4(22)YB6') flag++; else if (version == '12.4(22)YB7') flag++; else if (version == '12.4(22)YB8') flag++; else if (version == '12.4(22)YD') flag++; else if (version == '12.4(22)YD1') flag++; else if (version == '12.4(22)YD2') flag++; else if (version == '12.4(22)YD3') flag++; else if (version == '12.4(22)YD4') flag++; else if (version == '12.4(22)YE') flag++; else if (version == '12.4(22)YE1') flag++; else if (version == '12.4(24)MD') flag++; else if (version == '12.4(24)MD1') flag++; else if (version == '12.4(24)MD2') flag++; else if (version == '12.4(24)MD3') flag++; else if (version == '12.4(24)MD4') flag++; else if (version == '12.4(24)MD5') flag++; else if (version == '12.4(24)MD6') flag++; else if (version == '12.4(24)MDA') flag++; else if (version == '12.4(24)MDA1') flag++; else if (version == '12.4(24)MDA10') flag++; else if (version == '12.4(24)MDA2') flag++; else if (version == '12.4(24)MDA3') flag++; else if (version == '12.4(24)MDA4') flag++; else if (version == '12.4(24)MDA5') flag++; else if (version == '12.4(24)MDA6') flag++; else if (version == '12.4(24)MDA7') flag++; else if (version == '12.4(24)MDA8') flag++; else if (version == '12.4(24)MDA9') flag++; else if (version == '12.4(24)MDB') flag++; else if (version == '12.4(24)MDB1') flag++; else if (version == '12.4(24)MDB2') flag++; else if (version == '12.4(24)MDB3') flag++; else if (version == '12.4(24)MDB4') flag++; else if (version == '12.4(24)MDB5') flag++; else if (version == '12.4(24)MDB5a') flag++; else if (version == '12.4(24r)MDA') flag++; else if (version == '12.4(24r)MDB') flag++; else if (version == '12.4(24r)SB') flag++; else if (version == '12.4(24r)SB') flag++; else if (version == '12.4(24r)T3a') flag++; else if (version == '12.4(24r)YE') flag++; else if (version == '12.4(24r)YF') flag++; else if (version == '12.4(24r)YG') flag++; else if (version == '12.4(24)T31f') flag++; else if (version == '12.4(24)T34d') flag++; else if (version == '12.4(24)T35c') flag++; else if (version == '12.4(24)T3a') flag++; else if (version == '12.4(24)T3b') flag++; else if (version == '12.4(24)T3c') flag++; else if (version == '12.4(24)T3e') flag++; else if (version == '12.4(24)T3f') flag++; else if (version == '12.4(24)T4a') flag++; else if (version == '12.4(24)T4b') flag++; else if (version == '12.4(24)T4c') flag++; else if (version == '12.4(24)YE') flag++; else if (version == '12.4(24)YE1') flag++; else if (version == '12.4(24)YE2') flag++; else if (version == '12.4(24)YE3') flag++; else if (version == '12.4(24)YE3a') flag++; else if (version == '12.4(24)YE3b') flag++; else if (version == '12.4(24)YE3c') flag++; else if (version == '12.4(24)YE3d') flag++; else if (version == '12.4(24)YE4') flag++; else if (version == '12.4(24)YE5') flag++; else if (version == '12.4(24)YE6') flag++; else if (version == '12.4(24)YE7') flag++; else if (version == '12.4(24)YG') flag++; else if (version == '12.4(24)YG1') flag++; else if (version == '12.4(24)YG2') flag++; else if (version == '12.4(24)YG3') flag++; else if (version == '12.4(24)YG4') flag++; else if (version == '12.4(2)MR') flag++; else if (version == '12.4(2)MR') flag++; else if (version == '12.4(2)MR1') flag++; else if (version == '12.4(2)MR1') flag++; else if (version == '12.4(2r)XM1') flag++; else if (version == '12.4(2r)XM1') flag++; else if (version == '12.4(2)T') flag++; else if (version == '12.4(2)T1') flag++; else if (version == '12.4(2)T2') flag++; else if (version == '12.4(2)T3') flag++; else if (version == '12.4(2)T4') flag++; else if (version == '12.4(2)T5') flag++; else if (version == '12.4(2)T6') flag++; else if (version == '12.4(2)XA') flag++; else if (version == '12.4(2)XA') flag++; else if (version == '12.4(2)XA1') flag++; else if (version == '12.4(2)XA1') flag++; else if (version == '12.4(2)XA2') flag++; else if (version == '12.4(2)XA2') flag++; else if (version == '12.4(2)XB') flag++; else if (version == '12.4(2)XB052306') flag++; else if (version == '12.4(2)XB1') flag++; else if (version == '12.4(2)XB10') flag++; else if (version == '12.4(2)XB11') flag++; else if (version == '12.4(2)XB2') flag++; else if (version == '12.4(2)XB3') flag++; else if (version == '12.4(2)XB4') flag++; else if (version == '12.4(2)XB5') flag++; else if (version == '12.4(2)XB6') flag++; else if (version == '12.4(2)XB7') flag++; else if (version == '12.4(2)XB8') flag++; else if (version == '12.4(2)XB9') flag++; else if (version == '12.4(3)') flag++; else if (version == '12.4(3a)') flag++; else if (version == '12.4(3b)') flag++; else if (version == '12.4(3c)') flag++; else if (version == '12.4(3d)') flag++; else if (version == '12.4(3e)') flag++; else if (version == '12.4(3f)') flag++; else if (version == '12.4(3g)') flag++; else if (version == '12.4(3g)JA') flag++; else if (version == '12.4(3g)JA1') flag++; else if (version == '12.4(3g)JA2') flag++; else if (version == '12.4(3g)JMA') flag++; else if (version == '12.4(3g)JMA1') flag++; else if (version == '12.4(3g)JMB') flag++; else if (version == '12.4(3g)JMC') flag++; else if (version == '12.4(3g)JMC1') flag++; else if (version == '12.4(3g)JMC2') flag++; else if (version == '12.4(3g)JX') flag++; else if (version == '12.4(3g)JX1') flag++; else if (version == '12.4(3g)JX2') flag++; else if (version == '12.4(3h)') flag++; else if (version == '12.4(3h)BAK') flag++; else if (version == '12.4(3i)') flag++; else if (version == '12.4(3j)') flag++; else if (version == '12.4(3)JK') flag++; else if (version == '12.4(3)JK1') flag++; else if (version == '12.4(3)JK2') flag++; else if (version == '12.4(3)JK3') flag++; else if (version == '12.4(3)JL') flag++; else if (version == '12.4(3)JL1') flag++; else if (version == '12.4(4)MR') flag++; else if (version == '12.4(4)MR') flag++; else if (version == '12.4(4)MR1') flag++; else if (version == '12.4(4)MR1') flag++; else if (version == '12.4(4r)XC') flag++; else if (version == '12.4(4r)XC') flag++; else if (version == '12.4(4r)XD') flag++; else if (version == '12.4(4r)XD1') flag++; else if (version == '12.4(4r)XD2') flag++; else if (version == '12.4(4r)XD3') flag++; else if (version == '12.4(4r)XD4') flag++; else if (version == '12.4(4r)XD5') flag++; else if (version == '12.4(4)T') flag++; else if (version == '12.4(4)T1') flag++; else if (version == '12.4(4)T2') flag++; else if (version == '12.4(4)T3') flag++; else if (version == '12.4(4)T4') flag++; else if (version == '12.4(4)T5') flag++; else if (version == '12.4(4)T6') flag++; else if (version == '12.4(4)T7') flag++; else if (version == '12.4(4)T8') flag++; else if (version == '12.4(4)XC') flag++; else if (version == '12.4(4)XC') flag++; else if (version == '12.4(4)XC1') flag++; else if (version == '12.4(4)XC1') flag++; else if (version == '12.4(4)XC2') flag++; else if (version == '12.4(4)XC2') flag++; else if (version == '12.4(4)XC3') flag++; else if (version == '12.4(4)XC3') flag++; else if (version == '12.4(4)XC4') flag++; else if (version == '12.4(4)XC4') flag++; else if (version == '12.4(4)XC5') flag++; else if (version == '12.4(4)XC5') flag++; else if (version == '12.4(4)XC6') flag++; else if (version == '12.4(4)XC6') flag++; else if (version == '12.4(4)XC7') flag++; else if (version == '12.4(4)XC7') flag++; else if (version == '12.4(4)XD') flag++; else if (version == '12.4(4)XD0') flag++; else if (version == '12.4(4)XD1') flag++; else if (version == '12.4(4)XD10') flag++; else if (version == '12.4(4)XD11') flag++; else if (version == '12.4(4)XD12') flag++; else if (version == '12.4(4)XD2') flag++; else if (version == '12.4(4)XD3') flag++; else if (version == '12.4(4)XD4') flag++; else if (version == '12.4(4)XD5') flag++; else if (version == '12.4(4)XD6') flag++; else if (version == '12.4(4)XD7') flag++; else if (version == '12.4(4)XD7a') flag++; else if (version == '12.4(4)XD7b') flag++; else if (version == '12.4(4)XD7c') flag++; else if (version == '12.4(4)XD8') flag++; else if (version == '12.4(4)XD8a') flag++; else if (version == '12.4(4)XD9') flag++; else if (version == '12.4(5)') flag++; else if (version == '12.4(555)TEST') flag++; else if (version == '12.4(567b)TST') flag++; else if (version == '12.4(57)ARF') flag++; else if (version == '12.4(57)ARF2') flag++; else if (version == '12.4(57)COMP') flag++; else if (version == '12.4(5a)') flag++; else if (version == '12.4(5a)M0') flag++; else if (version == '12.4(5b)') flag++; else if (version == '12.4(5c)') flag++; else if (version == '12.4(60)') flag++; else if (version == '12.4(647)TST') flag++; else if (version == '12.4(6)MR') flag++; else if (version == '12.4(6)MR') flag++; else if (version == '12.4(6)MR1') flag++; else if (version == '12.4(6)MR1') flag++; else if (version == '12.4(6r)XE') flag++; else if (version == '12.4(6r)XE') flag++; else if (version == '12.4(6)T') flag++; else if (version == '12.4(6)T1') flag++; else if (version == '12.4(6)T10') flag++; else if (version == '12.4(6)T11') flag++; else if (version == '12.4(6)T2') flag++; else if (version == '12.4(6)T3') flag++; else if (version == '12.4(6)T4') flag++; else if (version == '12.4(6)T5') flag++; else if (version == '12.4(6)T5a') flag++; else if (version == '12.4(6)T5b') flag++; else if (version == '12.4(6)T5c') flag++; else if (version == '12.4(6)T5d') flag++; else if (version == '12.4(6)T5e') flag++; else if (version == '12.4(6)T5f') flag++; else if (version == '12.4(6)T6') flag++; else if (version == '12.4(6)T7') flag++; else if (version == '12.4(6)T8') flag++; else if (version == '12.4(6)T9') flag++; else if (version == '12.4(6t)EB2') flag++; else if (version == '12.4(6t)EB3') flag++; else if (version == '12.4(6t)EB4') flag++; else if (version == '12.4(6t)EB5') flag++; else if (version == '12.4(6)XE') flag++; else if (version == '12.4(6)XE') flag++; else if (version == '12.4(6)XE1') flag++; else if (version == '12.4(6)XE1') flag++; else if (version == '12.4(6)XE2') flag++; else if (version == '12.4(6)XE2') flag++; else if (version == '12.4(6)XE3') flag++; else if (version == '12.4(6)XE3') flag++; else if (version == '12.4(6)XE4') flag++; else if (version == '12.4(6)XP') flag++; else if (version == '12.4(6)XP') flag++; else if (version == '12.4(6)XT') flag++; else if (version == '12.4(6)XT1') flag++; else if (version == '12.4(6)XT2') flag++; else if (version == '12.4(7)') flag++; else if (version == '12.4(77)T') flag++; else if (version == '12.4(789a)TST') flag++; else if (version == '12.4(7a)') flag++; else if (version == '12.4(7b)') flag++; else if (version == '12.4(7c)') flag++; else if (version == '12.4(7d)') flag++; else if (version == '12.4(7e)') flag++; else if (version == '12.4(7f)') flag++; else if (version == '12.4(7g)') flag++; else if (version == '12.4(7h)') flag++; else if (version == '12.4(8)') flag++; else if (version == '12.4(80)TEST') flag++; else if (version == '12.4(8a)') flag++; else if (version == '12.4(8b)') flag++; else if (version == '12.4(8c)') flag++; else if (version == '12.4(8d)') flag++; else if (version == '12.4(95r)TST') flag++; else if (version == '12.4(95r)TST') flag++; else if (version == '12.4(99)') flag++; else if (version == '12.4(999)JA') flag++; else if (version == '12.4(999)XQ') flag++; else if (version == '12.4(99)TEST4') flag++; else if (version == '12.4(99)TST') flag++; else if (version == '12.4(9)MR') flag++; else if (version == '12.4(9)MR') flag++; else if (version == '12.4(9)T') flag++; else if (version == '12.4(9)T0a') flag++; else if (version == '12.4(9)T1') flag++; else if (version == '12.4(9)T2') flag++; else if (version == '12.4(9)T3') flag++; else if (version == '12.4(9)T4') flag++; else if (version == '12.4(9)T5') flag++; else if (version == '12.4(9)T6') flag++; else if (version == '12.4(9)T7') flag++; else if (version == '12.4(9)XG') flag++; else if (version == '12.4(9)XG1') flag++; else if (version == '12.4(9)XG2') flag++; else if (version == '12.4(9)XG3') flag++; else if (version == '12.4(9)XG4') flag++; else if (version == '12.4(9)XG5') flag++; else if (version == '12.5(1)') flag++; else if (version == '12.5(199)M4') flag++; else if (version == '12.5(199)M5') flag++; else if (version == '12.5(88888883)') flag++; else if (version == '12.5(888888882)') flag++; else if (version == '12.5(98)TST') flag++; else if (version == '15.0(1)') flag++; else if (version == '15.0(10)SG') flag++; else if (version == '15.0(1)EW') flag++; else if (version == '15.0(1)M1') flag++; else if (version == '15.0(1)M2') flag++; else if (version == '15.0(1)M3') flag++; else if (version == '15.0(1)M4') flag++; else if (version == '15.0(1)M5') flag++; else if (version == '15.0(1)M6') flag++; else if (version == '15.0(1)M6a') flag++; else if (version == '15.0(1)M7') flag++; else if (version == '15.0(1r)') flag++; else if (version == '15.0(1r)M1') flag++; else if (version == '15.0(1r)M10') flag++; else if (version == '15.0(1r)M11') flag++; else if (version == '15.0(1r)M12') flag++; else if (version == '15.0(1r)M13') flag++; else if (version == '15.0(1r)M14') flag++; else if (version == '15.0(1r)M15') flag++; else if (version == '15.0(1r)M2') flag++; else if (version == '15.0(1r)M3') flag++; else if (version == '15.0(1r)M4') flag++; else if (version == '15.0(1r)M5') flag++; else if (version == '15.0(1r)M6') flag++; else if (version == '15.0(1r)M7') flag++; else if (version == '15.0(1r)M8') flag++; else if (version == '15.0(1r)M9') flag++; else if (version == '15.0(1r)XA') flag++; else if (version == '15.0(1r)XA3') flag++; else if (version == '15.0(1)SE') flag++; else if (version == '15.0(1)SE1') flag++; else if (version == '15.0(1)SE2') flag++; else if (version == '15.0(1)XA') flag++; else if (version == '15.0(1)XA1') flag++; else if (version == '15.0(1)XA2') flag++; else if (version == '15.0(1)XA3') flag++; else if (version == '15.0(1)XA4') flag++; else if (version == '15.0(1)XA5') flag++; else if (version == '15.0(1)XO') flag++; else if (version == '15.0(1)XO1') flag++; else if (version == '15.0(2)EW') flag++; else if (version == '15.0(2)SG') flag++; else if (version == '15.0(2)SG1') flag++; else if (version == '15.0(2)SG2') flag++; else if (version == '15.0(2)SG3') flag++; else if (version == '15.0(2)XO') flag++; else if (version == '15.0(3)EW') flag++; else if (version == '15.0(3)SG') flag++; else if (version == '15.0(4)EW') flag++; else if (version == '15.0(4)SG') flag++; else if (version == '15.0(5)EW') flag++; else if (version == '15.0(5)SG') flag++; else if (version == '15.0(6)EW') flag++; else if (version == '15.0(6)SG') flag++; else if (version == '15.0(7)EW') flag++; else if (version == '15.0(7)SG') flag++; else if (version == '15.0(8)EW') flag++; else if (version == '15.0(8)SG') flag++; else if (version == '15.0(98)CCAI') flag++; else if (version == '15.0(9988)M1') flag++; else if (version == '15.0(9999)M1') flag++; else if (version == '15.0(9)SG') flag++; else if (version == '15.1(1r)T1') flag++; else if (version == '15.1(1r)T2') flag++; else if (version == '15.1(1r)T3') flag++; else if (version == '15.1(1r)T4') flag++; else if (version == '15.1(1)T') flag++; else if (version == '15.1(1)T1') flag++; else if (version == '15.1(1)T2') flag++; else if (version == '15.1(1)T3') flag++; else if (version == '15.1(1)T4') flag++; else if (version == '15.1(1)XB') flag++; else if (version == '15.1(1)XB1') flag++; else if (version == '15.1(1)XB2') flag++; else if (version == '15.1(1)XB3') flag++; else if (version == '15.1(2)GC') flag++; else if (version == '15.1(2)GC1') flag++; else if (version == '15.1(2r)GC') flag++; else if (version == '15.1(2r)GC1') flag++; else if (version == '15.1(2r)T') flag++; else if (version == '15.1(2r)T') flag++; else if (version == '15.1(2r)T1') flag++; else if (version == '15.1(2r)T1') flag++; else if (version == '15.1(2r)T2') flag++; else if (version == '15.1(2r)T2') flag++; else if (version == '15.1(2r)T3') flag++; else if (version == '15.1(2)T') flag++; else if (version == '15.1(2)T0a') flag++; else if (version == '15.1(2)T1') flag++; else if (version == '15.1(2)T2') flag++; else if (version == '15.1(2)T2a') flag++; else if (version == '15.1(2)T3') flag++; else if (version == '15.1(2)T4') flag++; else if (version == '15.1(3)T') flag++; else if (version == '15.1(3)T1') flag++; else if (version == '15.1(3)T2') flag++; else if (version == '15.1(3)T3') flag++; else if (version == '15.1(4)') flag++; else if (version == '15.1(4)M0a') flag++; else if (version == '15.1(4)M0b') flag++; else if (version == '15.1(4)M1') flag++; else if (version == '15.1(4)M2') flag++; else if (version == '15.1(4)M3') flag++; else if (version == '15.1(4)M3a') flag++; else if (version == '15.1(4r)') flag++; else if (version == '15.1(4r)M1') flag++; else if (version == '15.1(4r)M2') flag++; else if (version == '15.1(4)XB4') flag++; else if (version == '15.1(4)XB5') flag++; else if (version == '15.1(4)XB5a') flag++; else if (version == '15.1(4)XB6') flag++; else if (version == '15.1(4)XB7') flag++; else if (version == '15.1(9999)CCAI') flag++; else if (version == '15.2(1)GC') flag++; else if (version == '15.2(1)GC1') flag++; else if (version == '15.2(1r)C5915') flag++; else if (version == '15.2(1r)GC') flag++; else if (version == '15.2(1r)GC1') flag++; else if (version == '15.2(1)T') flag++; else if (version == '15.2(1)T1') flag++; else if (version == '15.2(2r)C5915') flag++; else if (version == '15.2(2)T') flag++; else if (version == '15.2(3r)XC') flag++; if (get_kb_item("Host/local_checks_enabled")) { if (flag) { flag = 0; buf = cisco_command_kb_item("Host/Cisco/Config/show_vtp_status", "show vtp status"); if (check_cisco_result(buf)) { if (preg(pattern:"VTP Operating Mode\s+:\s+Server", multiline:TRUE, string:buf)) { flag = 1; } if (preg(pattern:"VTP Operating Mode\s+:\s+Client", multiline:TRUE, string:buf)) { flag = 1; } } else if (cisco_needs_enable(buf)) { flag = 1; override = 1; } } } if (flag) { security_warning(port:0, extra:cisco_caveat(override)); exit(0); } else audit(AUDIT_HOST_NOT, "affected");

Summary

Vulnerable Configurations

Nessus

References