function ContentSize(size)
{
	var obj=document.getElementById("content");
	obj.style.fontSize=size+"px";
}