// JavaScript Document


function stretchMenu() {

	var topH = Math.max(document.getElementById("content_column_gallery_topimg_left").clientHeight,
		document.getElementById("content_column_gallery_right_box").clientHeight);

	topH += document.getElementById("content_column_gallery_thumb").clientHeight

	document.getElementById("content_menu_sub").style.height = topH + "px";
};

Event.observe(window, 'load', stretchMenu, false);