// JavaScript Document
function resize()
{
var divh = document.getElementById('Slice06_').offsetHeight;
document.getElementById('Slice05_').style.height=(divh+"px");
document.getElementById('Slice07_').style.height=(divh+"px");
}