<!--
function larger(){
   text1.style.fontSize="125%";
}
function standard(){
   text1.style.fontSize="115%";
}
function smaller(){
   text1.style.fontSize="100%";
}
-->