document.write ("<script type=\"text/javascript\" language=\"JavaScript1.2\" src=\"js/stm31.js\"></script>");