//  First things for onLoad function call

var available_width ;
var available_height;

if(document.images)
{
	il = new Image(); il.src = "images/gfleft.gif";
	ir = new Image(); ir.src = "images/gfright.gif";
}

function firstThings()  // to be executed in <BODY onLoad>
{
}

function secondThings()  // to be done just after <BODY> stuff
{
   if(is_ns4up) 
   {
       available_width  = innerWidth;
       available_height = innerHeight;
   } 
   else if(is_ie4up) 
   {
       available_width  = document.body.clientWidth;
       available_height = document.body.clientHeight;
   }
}

// Utility functions

function writeImage(image, width, height)
{
   document.write('<img src=\"' + image + '\"');
   document.write(' width=' + width + ' height=' + height + '>');
}

function swapImages(objl, objr, imgl, imgr)
{
	if(document.images)
	{
		objl.src = imgl;
		objr.src = imgr;
	}
}
