function initPage() {
	document.getElementById("topnav_" + page).className = 'selector_selected';
}

function openPage(url) {
	location.href = url;
}

function openWindow(url) {
	window.open(url);
}