function gebid(id)
{
	return document.getElementById(id);
}

function showTab(argNumber)
{
	// Move the background position of the tabs...
	gebid("tabs").style.backgroundPosition = "0 " + (-50 * argNumber + 50) + "px";

	// .. and show the right paragraph accordingly
	var texts = gebid("tab_texts").getElementsByTagName("div");

	for (var i = 0; i < texts.length; i++)
	{
		texts[i].style.display = (argNumber == i + 1) ? "block" : "none";
	}
}