var fixedMenuId = 'container';  
var fixedMenuHolderId = 'container_holder';

document.getElementById(fixedMenuHolderId).style.height = document.getElementById(fixedMenuId).clientHeight + 10 + 'px';
