function ChangeSizeTo(objectID,FontSize)
{
    document.getElementById(objectID).style.fontSize=FontSize + 'px';
    return false;
}