function ChangeFontSize(id, size) {
document.getElementById(id).style.fontSize = size + "px";
}