{"id":"https://openalex.org/W2093014989","doi":"https://doi.org/10.1147/rd.414.0549","title":"Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system","display_name":"Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system","publication_year":1997,"publication_date":"1997-07-01","ids":{"openalex":"https://openalex.org/W2093014989","doi":"https://doi.org/10.1147/rd.414.0549","mag":"2093014989"},"language":"en","primary_location":{"id":"doi:10.1147/rd.414.0549","is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.414.0549","pdf_url":null,"source":{"id":"https://openalex.org/S4210219925","display_name":"IBM Journal of Research and Development","issn_l":"0018-8646","issn":["0018-8646","2151-8556"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320652","host_organization_name":"IBM","host_organization_lineage":["https://openalex.org/P4310320652"],"host_organization_lineage_names":["IBM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IBM Journal of Research and Development","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017080855","display_name":"B. Wile","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"B. Wile","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086282251","display_name":"M. P. Mullen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. P. Mullen","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058062389","display_name":"Craig D. Hanson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Hanson","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033320238","display_name":"D. G. Bair","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. G. Bair","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010552919","display_name":"K. M. Lasko","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"K. M. Lasko","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007907604","display_name":"Phill Duffy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. J. Duffy","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069584051","display_name":"E. J. Kaminski","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E. J. Kaminski","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021598697","display_name":"T. E. Gilbert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T. E. Gilbert","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079811925","display_name":"S. M. Licker","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. M. Licker","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021712224","display_name":"Robert Sheldon","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. G. Sheldon","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051227350","display_name":"W. D. Wollyung","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. D. Wollyung","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085498420","display_name":"W. J. Lewis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. J. Lewis","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085309811","display_name":"R. J. Adkins","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. J. Adkins","raw_affiliation_strings":["IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA"],"affiliations":[{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM System/390 Division, 522 South Road, Poughkeepsie, New York 12601,USA","institution_ids":["https://openalex.org/I4210091433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5017080855"],"corresponding_institution_ids":["https://openalex.org/I4210091433"],"apc_list":null,"apc_paid":null,"fwci":2.2394,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.89608045,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"4.5","first_page":"549","last_page":"566"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7036299705505371},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5415225028991699},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.5202099680900574},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.5092462301254272},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.457412451505661},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.43900150060653687},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.4318331480026245},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.4269344210624695},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2921016812324524},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2736782729625702},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24297049641609192},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13269171118736267},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.12743327021598816}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7036299705505371},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5415225028991699},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.5202099680900574},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.5092462301254272},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.457412451505661},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.43900150060653687},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.4318331480026245},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4269344210624695},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2921016812324524},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2736782729625702},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24297049641609192},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13269171118736267},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.12743327021598816},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1147/rd.414.0549","is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.414.0549","pdf_url":null,"source":{"id":"https://openalex.org/S4210219925","display_name":"IBM Journal of Research and Development","issn_l":"0018-8646","issn":["0018-8646","2151-8556"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320652","host_organization_name":"IBM","host_organization_lineage":["https://openalex.org/P4310320652"],"host_organization_lineage_names":["IBM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IBM Journal of Research and Development","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1994638275","https://openalex.org/W2002901585","https://openalex.org/W2074193689","https://openalex.org/W2081768516","https://openalex.org/W2102454528","https://openalex.org/W2104298839","https://openalex.org/W2158599927","https://openalex.org/W2167094252","https://openalex.org/W2168716512"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W4205300843","https://openalex.org/W2929969821","https://openalex.org/W3155012083","https://openalex.org/W2354470518","https://openalex.org/W3120172095","https://openalex.org/W2059150015","https://openalex.org/W2357142578","https://openalex.org/W2035244079"],"abstract_inverted_index":{"Verification":[0,55],"of":[1,65,87,91,104,150],"the":[2,26,42,48,63,107,112,151],"S/390\u00ae":[3],"Parallel":[4],"Enterprise":[5],"Server":[6],"G4":[7],"processor":[8,113,152],"and":[9,52,136,153],"level":[10,103],"2":[11],"cache":[12],"(L2)":[13],"chips":[14,116,135],"was":[15,106,123],"performed":[16,124],"using":[17],"a":[18,76,88],"different":[19],"approach":[20],"than":[21],"previously.":[22],"This":[23],"paper":[24],"describes":[25],"methods":[27],"employed":[28],"by":[29,62],"our":[30],"functional":[31],"verification":[32,85,105,122],"team":[33],"to":[34],"demonstrate":[35],"that":[36,93,130],"its":[37],"logical":[38,89],"system":[39],"complied":[40],"with":[41,147],"S/390":[43],"architecture":[44],"while":[45],"staying":[46],"within":[47],"changing":[49],"cost":[50],"structure":[51],"time-to-market":[53],"constraints.":[54],"proceeded":[56],"at":[57],"four":[58,96],"basic":[59],"levels":[60],"defined":[61],"breadth":[64],"logic":[66],"being":[67],"tested.":[68,119],"The":[69,101],"lowest":[70],"level,":[71,109],"designer":[72],"macro":[73],"verification,":[74],"contained":[75,95],"single":[77],"designer's":[78],"hardware":[79],"description":[80],"language":[81],"(in":[82],"VHDL).":[83],"Unit-level":[84],"consisted":[86],"portion":[90],"function":[92],"generally":[94],"or":[97,114],"five":[98],"designers'":[99],"logic.":[100],"third":[102],"chip":[108],"in":[110],"which":[111],"L2":[115,154],"were":[117],"individually":[118],"Finally,":[120],"system-level":[121],"on":[125],"symmetric":[126],"multiprocessor":[127],"(SMP)":[128],"configurations":[129],"included":[131],"bus-switching":[132],"network":[133],"(BSN)":[134],"I/O":[137],"connection":[138],"chips,":[139],"designated":[140],"as":[141],"memory":[142],"bus":[143],"adaptors":[144],"(MBAs),":[145],"along":[146],"multiple":[148],"copies":[149],"chips.":[155]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}