// JavaScript Document

function setMainHeight(outer,inner,height)
{
     var main=document.getElementById(outer);
     var nav=document.getElementById(inner);
     var sHeight= main.scrollHeight+height ;
     nav.style.height=sHeight+"px";  
 }