var working = 0 ;
function resizeFW()
{
	working = 1;
	var CH = document.documentElement.clientHeight;
	var DH = document.documentElement.scrollHeight;

	var t = document.getElementById('maintab');
	var c = document.getElementById('context');
	var ch = c.offsetHeight ;
	var th = t.offsetHeight ;

	var hf = document.getElementById('hfixer');

	if(CH > th)
	{
		hf.setAttribute("height", ch + (CH - th) - 2)
	}
	working = 0;
}