document.write("<STYLE><!-- P { font-size: 13.4pt } H3 {font-size: 15.0pt} TD {font-size: 12.0pt} --></STYLE>")
if (top.user.usrtyp == "m") {
  document.write("<STYLE><!-- P { font-size: 10.0pt } --></STYLE>") }