function resetDiv(){ 
var m1=document.getElementById("left"); 
var m2=document.getElementById("right"); 
if(m1.offsetHeight<m2.offsetHeight){ 
m1.style.pixelHeight=m2.offsetHeight-20;
} 
else{ 
//m1.style.pixelHeight=m2.offsetHeight-12;
 m2.style.pixelHeight=m1.offsetHeight-20;
} 
}