Definition VendorIDT :=
  lanarkDottedString.
