function setFontSize(size)
{
window.thetd.style.fontSize=size;
}