function $(name) { return document.getElementById(name); }
function fitDocument() {
	var minimum = 900;
	var h = $('footer').offsetTop + $('footer').offsetHeight
	h = h < minimum ? minimum : h
	$("id14_").style.height = h + "px";
	$("id11_").style.height = h + "px";
	$("videos").style.height = (h - 20) + "px";
	$("content-area").style.height = h + "px";
	$("sidebar").style.height = h + "px";
}