//文字サイズ変更
function fontSizeChange( s ){
txt=document.getElementById('text1');
if (txt){
txt.style.fontSize=s + "%";
}
}