/* measurement_points */
function showMeasurementPoint(id) {
  if (document.getElementById) {
    el = document.getElementById('measurementPoint' + id);
    el.style.visibility = 'visible';
  }
}

function hideMeasurementPoint(id) {
  if (document.getElementById) {
    el = document.getElementById('measurementPoint' + id);
    el.style.visibility = 'hidden';
  }
}