// JScript File

function Loop(DivID, Plus)
{
    var div = document.getElementById(DivID);
    var font = div.style.fontSize.substr(0, div.style.fontSize.length - 2);
    
    if (Plus)
    {
        div.style.fontSize = (parseInt(font) + 1) + "px";
    }
    else
    {
        div.style.fontSize = (parseInt(font) - 1) + "px";
    }
}