// JavaScript Document

function goto (url) {
	window.open (url)
}

function getheight() {
	var height = document.getElementById('navcont').offsetHeight;
	document.getElementById('nav').height = height;
}