function setHeight() {
	if (window.innerWidth) {
		var framewidth = window.innerWidth;
		var frameheight = window.innerHeight;
	} else {
		var framewidth = document.body.clientWidth;
		var frameheight = document.body.clientHeight;
	}
	if (frameheight > 600) {
		frameheight -= 180;
		document.getElementById('content').style.height = frameheight + 'px';
	}
}

function loadPage(page) {
	content.location.href = '/content.cgi?pageid='+page;
}