function switch_tab (new_tab)
{
	if (new_tab == current_tab) return;
	document.getElementById(current_tab).className = "";
	document.getElementById(current_tab+"_tab").style.display = "none";
	document.getElementById(new_tab).className = "selected";
	document.getElementById(new_tab+"_tab").style.display = "block";
	document.getElementById("frogatto").style.display = new_tab == "screenshots" ? "none" : "block";
	current_tab = new_tab;
}