function Re_FontSize(n)
{document.getElementById("Content").style.fontSize=n+"px";}
function switchTag(tag,content,k,classty)
{
	for(var i=1; i <=4; i++)
	{
		if (i==k)
		{
			document.getElementById(tag+i).className="l1";
			document.getElementById(content+i).className="box_show";
		}else{
			document.getElementById(tag+i).className="l2";
			document.getElementById(content+i).className="box_none";
		}
	}
}