function adjust_bg_right(old_eventhandler)
{
	var html = document.documentElement;
	if(!html) return;
	
	var bg_right = document.getElementById('bg_right');
	if(!bg_right) return;
	
	bg_right.style.height = html.scrollHeight + 'px';
	
	if(!old_eventhandler && typeof old_eventhandler == 'function') old_eventhandler();
}

var previous_onload = window.onload;
window.onload = function () { adjust_bg_right(previous_onload); };

var previous_onresize = window.onresize;
window.onresize = function () { adjust_bg_right(previous_onresize); };