var json4 =([
  {
    "name": "label6a",
    "fieldnumber": 16,
    "val": "6 cm"
  },
  {
    "name": "label6b",
    "fieldnumber": 17,
    "val": "5 cm"
  },
  {
    "name": "label6c",
    "fieldnumber": 18,
    "val": "4 cm"
  },
  {
    "name": "label6d",
    "fieldnumber": 19,
    "val": "14 cm"
  },
  {
    "name": "label6e",
    "fieldnumber": 20,
    "val": "13 cm"
  },
  {
    "name": "label6h",
    "fieldnumber": 21,
    "val": "3 cm"
  },
  {
    "name": "label6k",
    "fieldnumber": 22,
    "val": "8 cm"
  },
  {
    "name": "label6l",
    "fieldnumber": 23,
    "val": "?"
  },
  {
    "name": "label6m",
    "fieldnumber": 24,
    "val": "6 cm"
  }
]);
