function set_introtext ( num )
	{
			$('language_chooser').style.backgroundPosition = "172px -" + (num*40) + "px";
	}