// JavaScript Document
function f1(){document.body.style.fontSize='90%';}
function f2(){document.body.style.fontSize='110%';}