function setFontSize()
{
document.getElementById("fs").style.fontSize="12px";
}

function setFontSize2()
{
document.getElementById("fs").style.fontSize="13px";
}

function setFontSize3()
{
document.getElementById("fs").style.fontSize="14px";
}