// JavaScript Document
function ChangeFontSize(id, size) {
document.getElementById(id).style.fontSize = size + "%";
}