function chageTextSize(s)
{
	document.body.style.fontSize = s+"px";
	for(x=10;x<=18;x+=2)
	{
		if(document.getElementById("type_size_"+s).id.split("_")[2] == s)
		{
			document.getElementById("type_size_"+s).className = "type_selected";
		}else
		{
			document.getElementById("type_size_"+s).className = "";
		}
	}
}