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