function full_bars() {
	var divs = new Array();
	divs[0] = "lcol";
	divs[1] = "rcol";

	// Get #faux height
	var divh = document.getElementById('faux').offsetHeight;

	var dest;
	for (i=0; i<divs.length; i++) {
		// Get the destination element
		dest = document.getElementById(divs[i]);

		// Skip this element if it doesn't exist
		if (dest == null) { continue; }

		// Set new height
		dest.style.height = divh + 'px';
	}
}

function go_to(url) {
	window.location=url;
}