function show_buffered_divs(version) {
	// get all divs on the page
	var arrDivs = document.getElementsByTagName('div');
	var msg = "";
	for (var i = 0; i < arrDivs.length; i++) {
		if (arrDivs[i].style.visibility == "hidden") {
			msg = msg + arrDivs[i].id + " " + arrDivs[i].style.visibility + "\n";
			arrDivs[i].style.visibility = "visible";
			//alert(msg);
		}
	}
	
	//alert(msg);
}