var isDHTML = 0;
var isLayers = 0;
var isAll = 0;
var isID = 0;
if (document.getElementById){isID=1;isDHTML=1;}
else{if(document.all){isAll=1;isDHTML=1;}
else{browserVersion=parseInt(navigator.appVersion);
if((navigator.appName.indexOf('Netscape')!=-1)&&(browserVersion==4)){
isLayers=1;isDHTML=1;}}}
function findID(objectID){
  if(isID){return(document.getElementById(objectID));}
  if(isAll){return(document.all[objectID]);}
  if(isLayers){return(document.layers[objectID]);}
  return(null);
}
function findStyle(objectID){
  if(isID){return(findID(objectID).style);}
  if(isAll){return(findID(objectID).style);}
  if(isLayers){return(document.layers[objectID])}
  return(null);
}
function doSize(){
	var sb=findStyle("rhborder");
	var si=findStyle("rhimages");
	var sm=findStyle("menu");
	var main=findID("main");
	var menu=findID("menu");
	var i=findID("rhimages");
	var h=Math.max(main.offsetHeight, Math.max((menu.offsetHeight+131), i.offsetHeight));
	if(sm!=null){
		sm.height=h-131;
	}
	if(sb!=null){
		sb.height=h;
	}
	if(si!=null){
		si.height=h;
	}
}