if((navigator.appName=="Netscape")&&(parseInt(navigator.appVersion.substring(0,3))<5.0)&&(navigator.appVersion.indexOf("Win") != -1)){
   document.write('<style type="text/css"> ');
   document.write('.txt { font-size:11px } ');
   document.write('</style> ');
}
else{
   document.write('<style type="text/css"> ');
   document.write('.txt { font-size:10px } ');
   document.write('</style> ');
}