// JavaScript Document
function ChangeFontSize(size){
document.getElementsByTagName('body')[0].style.fontSize = size;
}