function resizeBodyDiv(){
	var AdminMenuBarDivHeight = 0;
	var thisBodyHeight = 600;
	if(document.getElementById("AdminMenuBarDiv")) AdminMenuBarDivHeight = document.getElementById("AdminMenuBarDiv").offsetHeight;
	if(document.getElementById("thisBody")) thisBodyHeight = document.getElementById("thisBody").offsetHeight;
	document.getElementById("bodyDiv").style.top = AdminMenuBarDivHeight + "px";
	if(thisBodyHeight > 0){
		document.getElementById("bodyDiv").style.height = "" + (thisBodyHeight - AdminMenuBarDivHeight) + "px";
	}
}