function wieHoch(){
   	 if((document.all) && (window.offscreenBuffering)) {
       		conH = document.all['frame'].offsetHeight;
        	conG = (conH+"px");
        	Change('containernavigation','height',conH+'px');
		}
		else { 
		 	conH = document.getElementById("frame").offsetHeight; 
      		conG = (conH+"px");
      		Change('containernavigation','height',conH+'px');
        }
}
function Change(id,p,v) {
   obj=document.getElementById(id);
   obj.style[p]=v;
}

window.onload = wieHoch();