document.write ('<font color=000060 style="font-family:times; font-size:12px; font-style:normal; font-weight:Bold">10.237</font>')