function sizeControlBox() {
	theSpace=(jQuery('#pageHeader').offset().left)-40;
	jQuery('#control').add('#box').css('width', theSpace);
	return;
}