function check()
{
var xh = document.getElementById('nav').offsetHeight;
xh = xh*2;
document.getElementById('main').style.height = xh + 'px';
}