function heightset() {
	var a = document.body.clientHeight;
	var b = document.getElementById("navbar").clientHeight;
	var c = b + 51;
	if(a > c) {
		var d = a - 51;
		document.getElementById("navbar").style.height = d+"px";
	}
}