function SetFont(fontSize, destinationID)
    {
       document.getElementById(destinationID).style.fontSize = fontSize;
    }