//global variables 

	var viewportWidth;
	var viewportHeight;
	var mainAreaHeight;
	var mainAreaWidth;
	var header1Height;
	var header2Height;
	var footerContainerHeight;
	var navlist3Width;
	var navlist3Height;
	var pageContainerWidth;
	var pageContainerHeight;
	var pageContainerLeft;
	var smallLogoWidth;
	var mainArea_obj;
	var header1_obj;
	var header2_obj;
	var navlist3_obj;
	var smallLogo_obj;
	var pageContainer_obj;
	var smallLogoMinWidth = 196;
	var browsergroup;

function repositionThings ()
{	
	debug("entering reposthings");
//Find out how much space there is for "main_area"
	getViewportSize ();
        if (viewportWidth === undefined)
  	{
//  		window.alert("viewport width is undefined! " +browsergroup);
  		debug("viewport width is undefined! " +browsergroup);
          	return;
  	}
	calculatemainAreaDims ();
//re-set the height and width for the DOM style-object "main_area"
//according to the calculated main area height and width
	mainArea_obj = document.getElementById("main_area");
	mainArea_obj.style.height =  mainAreaHeight + "px";
	mainArea_obj.style.width =  mainAreaWidth + "px";
//now set the width of small_logo
//check if smallLogo is present
	smallLogo_obj = document.getElementById("small_logo");
	if(smallLogo_obj === null)
//if it is not present, set its width to zero
	{	
		smallLogoWidth =0;
	}
	else
	{
//calculate the width of the space for small_logo as 30% of the width of my_viewport
	smallLogoWidth = 0.3*viewportWidth;
//ensure that the width of the space for the small logo is not less than the minimum
	if(smallLogoWidth <= smallLogoMinWidth)
	{
		smallLogoWidth = smallLogoMinWidth;
	}
	smallLogo_obj.style.width = smallLogoWidth + "px";
	}
//set the dimensions for navlist3 and page_container if they are present;
//check if navlist3 is present
	navlist3_obj = document.getElementById("navlist3");
	if(navlist3_obj !== null)
//if navlist3 is present set its width and height
	{
	navlist3_obj.style.width = smallLogoWidth + "px";
	navlist3_obj.style.height = (mainAreaHeight -10) + "px";
	}
//check if page_container is present
	pageContainer_obj = document.getElementById("page_container");
	if(pageContainer_obj !== null)
//if page_container is present, set its width, height, and left position
	{
	pageContainer_obj.style.width =  (mainAreaWidth - smallLogoWidth -16) + "px";
	pageContainer_obj.style.height =  mainAreaHeight + "px";
	pageContainer_obj.style.left =  smallLogoWidth + "px";
	}
	debug ("leaving reposthings****************");
}