if(navigator.platform.charAt(0)=="M"){
document.write("<STYLE type='text/css'>");
document.write("<!--");
document.write("BODY{font-size : 10pt;}");
document.write("TD{font-size : 10pt;  line-height : 18px;}");
document.write("TD.takusan1 {font-size : 9pt;  line-height : 18px; }");
document.write("TD.TOPICS {font-size : 8pt;  line-height : 18px; }");
document.write("TD.shosai1 {font-size : 10pt;}");
document.write("-->");
document.write("</STYLE>");
}

function UrlJump(url)
{
 if(url != '')
  {
    window.location=url;
   }
}