function divResize(h) {
    document.getElementById('myId').style.height = h+'px';
}