function openwin(url) {
 /* 横幅680、縦幅690のウインドウを開く */
 w = window.open(url, 'win','width=680,height=690,status=no,scrollbars=yes,directories=no,menubar=no,resizable=yes,toolbar=yes');
}

function larger(){
   text1.style.fontSize="100%";
}

function standard(){
   text1.style.fontSize="80%";
}