//alert (document.getElementById('mainDiv').offsetHeight + 'px');
window.parent.document.getElementById('bob').style.height = document.getElementById('mainDiv').offsetHeight + 'px';