function $(object)
{
	var object = document.getElementById(object) ?  document.getElementById(object) : object;
	return object;
}

function SetArtiFontSize(fontSize)
{
	var artiText=document.all?document.all["artiText"]:document.getElementById("artiText");
	artiText.style.fontSize=fontSize+"px";
}