//do size
function dofont(str)
{
	document.getElementById("DetailTxt").style.fontSize=str+"px";
}