function tabSwap(showtab, lang)
{
	thesource = "images/" + lang + "/";
	document.getElementById("tab01").src = (thesource + "tab01_off.gif");
	document.getElementById("tab02").src = (thesource + "tab02_off.gif");
	document.getElementById("tab03").src = (thesource + "tab03_off.gif");
	document.getElementById(showtab).src = (thesource + showtab + "_on.gif");
}