document.write('<link rel="styleSheet" href="style/script.css" type="text/css" media="all" />');

function paneswitch(_paneno) {
	document.getElementById("pane-main-1").style.display = "none";
	document.getElementById("pane-main-2").style.display = "none";
	document.getElementById("pane-main-3").style.display = "none";
	document.getElementById("pane-main-" + _paneno).style.display = "block";
	document.getElementById("pane-menu-1").className = "";
	document.getElementById("pane-menu-2").className = "";
	document.getElementById("pane-menu-3").className = "";
	document.getElementById("pane-menu-" + _paneno).className = "here"; }