var x = 100;
function medium()     { document.body.style.fontSize = "medium" }
function large()  { document.body.style.fontSize = "large" }
function small() { document.body.style.fontSize = "small" }