// JavaScript Document
function full()
{
   var maxHeight=0;
   var a=[];
   for(var i=0,n=arguments.length;i<n;i++){
     a[i]=document.getElementById(arguments[i]);
     if(a[i].scrollHeight>maxHeight)
       maxHeight=a[i].scrollHeight;
   }
   for(i=0;i<n;i++)
     a[i].style.height=maxHeight+'px';
}