function smallfont(){
var v=document.getElementById("fontvalue").value;
d=parseInt(v)-1;
if(d<=9)d=9;
document.getElementById("fontvalue").value=d;
document.getElementById("bodydiv").style.fontSize=d;
document.getElementById("bodytd").style.fontSize=d;
}
function normalfont(){
document.getElementById("fontvalue").value=13;
document.getElementById("bodydiv").style.fontSize="13px";
document.getElementById("bodytd").style.fontSize=13;
}

function largefont()
{
var v=document.getElementById("fontvalue").value;
d=parseInt(v)+1;
if(d >= 18)d=18;
document.getElementById("fontvalue").value=d;
document.getElementById("bodydiv").style.fontSize=d;
document.getElementById("bodytd").style.fontSize=d;
}