
<!--
document.write("4.00");
//-->