function do_height() {

var center_right_height = document.getElementById('center_right').offsetHeight;

document.getElementById('left').style.height = center_right_height + 'px';

} // function do_height()

function do_height_indexpage(){ // this version is different than on the other pages!

var center_right_height = document.getElementById('right').offsetHeight;

document.getElementById('left').style.height = center_right_height + 'px';
document.getElementById('center').style.height = center_right_height + 'px';

} // function do_height_indexpage