function changeFontSize(init){
 if (init==true) with (navigator){
  if ((appName=="Netscape")&&(parseInt(appVersion)==4)){
   document.write('<STYLE TYPE="text/css">td{font-size:11px;font-family:verdana}</STYLE>');}
  else{
   document.write('<STYLE TYPE="text/css">td{font-size:9px}</STYLE>');}
 }
}