function fixDivHeight(divName,height){
	div = genericGetElementByID(divName);

	if(div != null){
		div.style.height = height;
	}
}

//function fixMainDivHeight(){
//	if(isBrowser('ie','win')){
//		//alert('fix heights');
//		fixDivHeight('pageBorderDiv','34em');
//	}
//}