function resize_navi(){
temp = document.getElementById('navisub').offsetHeight;
document.getElementById('navitable').style.height = temp + 'px';
}