var d, dom, ie, ie4, ie5x, moz, mac, win, lin, old, ie5mac, ie5xwin, op;

d = document;
n = navigator;
na = n.appVersion;
nua = n.userAgent;
win = ( na.indexOf( 'Win' ) != -1 );
mac = ( na.indexOf( 'Mac' ) != -1 );
lin = ( nua.indexOf( 'Linux' ) != -1 );

if ( !d.layers ){
	dom = ( d.getElementById );
	op = ( nua.indexOf( 'Opera' ) != -1 );
	konq = ( nua.indexOf( 'Konqueror' ) != -1 );
	saf = ( nua.indexOf( 'Safari' ) != -1 );
	moz = ( nua.indexOf( 'Gecko' ) != -1 && !saf && !konq);
	ie = ( d.all && !op );
	ie4 = ( ie && !dom );


	ie5x = ( d.all && dom );
	ie5mac = ( mac && ie5x );
	ie5xwin = ( win && ie5x );
}

function changeHeight()
{
 var lefth=document.getElementById('leftdiv').offsetHeight;
 var righth=document.getElementById('right-nav-container').offsetHeight;
 if(lefth>righth)
 {
	 var diff=parseInt(lefth)-parseInt(righth);
		d = document;// shorthand so we don't have to write out document each time..
		if ( ie5mac ) {
			diff=parseInt(diff)+183;
		}
		else if ( d.layers ){  // ns4
			diff=parseInt(diff)+183;
		}
		else if ( ie4 ){ // ns4
			diff=parseInt(diff)+183;
		}
		else if ( moz ){ // moz
			diff=parseInt(diff)+268;
		}
		else {
			diff=parseInt(diff)+237;
		}
	document.getElementById('right-nav-container').style.height=document.getElementById('leftdiv').offsetHeight+"px";
	document.getElementById('controlsignDiv').style.height=diff+"px";
	document.getElementById('controlsignTableDiv').style.height=diff+"px";
}
else
{
		d = document;// shorthand so we don't have to write out document each time..
		if ( ie5mac ) {
			diff=183;
		}
		else if ( d.layers ){  // ns4
			diff=183;
		}
		else if ( ie4 ){ // ns4
			diff=183;
		}
		else if ( moz ){ // moz
			diff=218;
		}
		else {
			diff=183;
		}
		var temph=735+parseInt(diff);
		diff=diff+180;
	document.getElementById('right-nav-container').style.height=temph+"px";
	document.getElementById('controlsignDiv').style.height=diff+"px";
	document.getElementById('controlsignTableDiv').style.height=diff+"px";
}
}
