function fold(x) {
  var y = document.getElementById(x);
  if (y.style.display == 'none')
    y.style.display = '';
  
  else
    y.style.display = 'none';
}