Ext.onReady(function(){equalBoxSizes()
});
function equalBoxSizes(){var a=[];
var c=[];
var b=100;
for(var d=0;
d<5;
d++){boxid="box"+d;
a[d]=document.getElementById(boxid);
if(a[d]!=null){if(a[d].offsetHeight){c[d]=a[d].offsetHeight
}else{if(a[d].style.pixelHeight){c[d]=a[d].style.pixelHeight
}}if(c[d]>b){b=c[d]
}}}for(d=0;
d<5;
d++){if(a[d]!=null){c[d]=b;
a[d].style.height=c[d]+"px"
}}};