function setSinglecolHeight(singlecolHeight) {
  //contentHeight = contentHeight - 4;
  document.getElementById("singlecol").style.height = singlecolHeight + 'px';
}