[
  "OS34833_FRANCO",
  "OS12345_",
  "OS234567_",
  "HIVESTACK_10s_DC",
  "OS12345_"
]