function tabSwap(showtab, lang)
{
	thesource = "images/" + lang + "/";
	document.getElementById("nav_overview").src = (thesource + "nav_overview_off.gif");
	document.getElementById("nav_whatsnew").src = (thesource + "nav_whatsnew_off.gif");
	document.getElementById("nav_benefits").src = (thesource + "nav_benefits_off.gif");
	document.getElementById(showtab).src = (thesource + showtab + "_on.gif");
}