var open = "0";
function color(id, cname) {
	var tl = document.getElementById("tab." + id + ".tl");
	tl.className = cname + "TL";
	var bl = document.getElementById("tab." + id + ".bl");
	bl.className = cname + "BL";
}
function page_switch(page) {
	if (page != open) {
		color(page, "b");
		color(open, "d");
		var text = document.getElementById("page." + page);
		text.style.display = "block";
		text = document.getElementById("page." + open);
		text.style.display = "none";
		open = page;
	}
}
function hover_effect(page, on) {
	if (page != open) {
		if (on) {
			color(page, "h");
		} else {
			color(page, "d");
		}
	}
}