///////////////////////////////////////////////////////////////
function setHeight(targ_h, id)
	{
		// document.getElementById(id).height = targ_h;
		//resetToTop();
	}