
var $$ = function(id) {
  return document.getElementById(id);
};


function checkHeight() {
  var left = $$('left');
  var content = $$('content');
  var right = $$('right');

  if (left && content && right) {
    var hArr = new Array(left.offsetHeight, content.offsetHeight, right.offsetHeight);
    var theHighest = 0;
    for (var i = 0; i < hArr.length; i++) {
      if (hArr[i] > theHighest) theHighest = hArr[i];
    }
    left.style.height = theHighest + "px";
    content.style.height = theHighest + "px";
    right.style.height = theHighest + "px";

  }
}