function changeImage(target, source) {
	sniffBrowser( );

	var imageObj;
	
	if (ns4) {
		imageObj = getImage(target);
		if (imageObj) imageObj.src = eval(source).src; 
	} else {
		imageObj = eval('document.images.' + target);
		if (imageObj) imageObj.src = eval(source).src; 
	}
}

function resizeLHS( )
{
	var lhsHeight = document.getElementById( 'left' ).offsetHeight;
	var rhsHeight = document.getElementById( 'middle' ).offsetHeight + 10;

	if( rhsHeight > lhsHeight )
	{
		document.getElementById( 'left' ).style.height = rhsHeight+'px';
	}
}