function getsetheight(){
var myheight=document.getElementById("nav").offsetHeight;
document.getElementById("rightbar").style.height = myheight + "px";

}